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

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