some docs before we forget what all of this is for
these are part of the language now, not just for testing
move again
porting CT REPL to Pyret; lots of cruft but basic functionality is going