I don't know how to type check lambdas :(
Fixed a bug with type checking of lambdas
Merge branch 'context'

Conflicts:
	src/TypeChecking/Simple.hs