added lambda to typechecker