Clean.Types: Forall unification
Currently, universally quantified variables can be unified with all other variables (but not with other types). This is not correct: the types
A.a b: a -> b and
a -> a should not unify, but do.
This issue only occurs when multiple variables are universally quantified, so it's rather low priority.