Temporary commit for rewrite of typechecker
Merge branch 'master' of github.com:JelleZijlstra/lambda
Merge branch 'master' of github.com:JelleZijlstra/lambda