Improved tests for forall in Qual freshInst
ASTUtil.getType always returns TVar->TGen subst

Updated tests, changed call sites that don't need subst information,
added new test stubs. Also fixed the implementation so it doesn't lose
subst information when a Forall is nested in ASTTypeApply or
ASTFunctionType.