Rewrite evaluator in continuation-passing style and add I/O

[catseye]

This should permit us to add I/O while only making a handful of functions monadic. (Basically the "trampoline" would be monadic and would do I/O on behalf of the continuations it executes.) This seems marginally cleaner than making the entire evaluator monadic. But experiment and see.