Generalised expand-constraints to match any ATerms recursively until it find TypeVar(_)
Added test for polymorphic generalisation of types. The type-inference doesn't work on it yet