attempt to clarify the eof insertion that drracket's repl does

also fix some interactions that were using old-style printing
(but in #lang racket, which doesn't print that way)