gf-3.10: testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs

i -src testsuite/compiler/typecheck/abstract/PolyTypes.gf
i -src testsuite/compiler/typecheck/abstract/RecTypes.gf