A few bugfixes.
Added normalisation of closed type families
Bugfix
Implemented compatibility