Implement some simple stuff. Cleanup some stuff. Be more consistent. Change the coding style a bit.
Unification variables aren't rigid.
Define ordering on types used for determining orientation during canonicalization.
Implement occurs check, applying substitutions and determining wheither type is Familiy Free.
Implement seperation of equality constraints in SIMPLES rule, which is now finished.
Top level reaction rules for type families.
Top level reaction rules for type classes.
Top level reaction rules for closed type families.
Some extra worthless and not totally correct comments