Minor changes to AST.
Teach the compiler how to transform Fix construct.
Parse the type arrow into new TyArr constructor.
Add note to fix the lexer.
New module for transformations on AST.
New module for type and kind contexts.
New module for substitutions.
New module for unification.