Replaced Real and Bool types with Unit.
Added polymorphic types to the core lambda calculus.
Fixed bug in parser.
Began work on improved type checking.
Merge branch 'unit'