Typechecker

* Lambdas
* Extended old ones with environment