Fixed bug where constraints in instances where not propagated to variables
Fixed bug where constraints in instances where not propagated to variables

Example:
Unify
Eq a => [a] <-> [b]

b should have Eq in its context after the unification since the instance for Eq [a] is
instance Eq a => Eq [a] where ...

This commit fixes this

Marwes/haskell-compiler