+ AST annotated with types
+ Type Inference generates AST annotated with types
+ Rename now operates on typed AST
+ Identifiers generator
+ Pattern matching compiler works on typed ASTs
+ Readme update
+ Typed KNormalization
+ Readme update
+ α-conversion on typed AST
+ β-reduction on typed AST
+ Nested let flattening on typed AST
+ Inlining on typed AST
+ Constant folding on typed AST
+ Eliminating unused definitions on typed AST
+ Typed closure converted syntax
+ Added Ord on types
+ freeVars returs variables with their types
+ Closure conversion on typed AST
+ Small modification to the main compiler function
+ Readme update