Removed all files.
Implemented HM lambda calculus, with type checking.
Added a type parameter renamer that canonicalizes type expressions.