`quantify` now returns substitued tv list

This enables us to apply the substitutions to predicates in getType in
the module verifier, meaning qualified types for foralls as per #8 can
now be constructed.
Testing quantify for Type returns correct subst
Testing quantify for Qual returns correct subst
getMemberType now always returns forall'd types