Add lambda closures

The interpreter should be Turing complete now!
Clean up

* Add error messages
* Add alias for Env.Env String Value
Add heap + monad stack