Bug in handling of type families

[TeofilC]

While implementing support for data families, I noticed a bug in the code for type families.

We do something naive where we just pas on arguments, but we should do something similar to what we do for data families where we unify the tyvars on the lhs and the rhs and then use that to construct our mapping.