gf-3.2: testsuite/runtime/typecheck/hard-unification.gfs

i testsuite/runtime/typecheck/Hard.gf
ai s ? (app ?) ex
ai s ? (app ?) ?