Tidied up the type checking and added the missing

instantiation operation for rules involving the use
of polytypes.
Intermediate commit before refactoring the

type environment.
Finished refactoring type environment to bindings.

Next up is writing test for letrec expression.
Intermediate commit.
Simplified AST traversing.

Added parsing support for letrec expression.