Test subst from getType
Test subst from forall inside a TAp
Test subst from forall inside a fn
Removed unnecessary defs from test