Bugfixes in typechecker

- Implemented promotion of type variables
Typos in combinators