Use cont monad transformer
Simplify continuations sketch logic
lab: Use StateT transformer (to show usage of ContT within transformers stack)
Use use undefined value instead of Nothing, remove poor return implementation
lab: change state during evaluation
return keyword implementation (using continuation transformer)