lab: add function call and return snippet
lab: continuation and state: initial implementation without any state, but with correct return logic
lab: continuation and state: move State monad to the bottom of transformers stack to be able to more easily pull off only the upper continuation part without affecting the state
Yet another return keyword implementation (this time - correctly), change order of ContT and StateT monad transformers for Eval type
Merge branch 'return'