Custom Show function for types
Added applyFst utility function
Added basic language description (needs work)
Completed first pass at unifying algorithm and type back substitution
Interpreter now works with typed values
Separate syntax constructs in small modules. Update parser to carry position info.
Error messages should be lists of strings
Types is gone. Long live Syntax.
Upgrade the constraint generation and unification algorithms. But things quite messy atm