continuations: add in ContT

Needs a lot of work though - a lot of stuff is commented out...
More ContT work...
fully move Eval across to the ContT monad
Add call-with-current-continuation