bunch of cleanups to REPL behavior, and a few handy shortcuts