Pretty printing in the repl.
Some more repl tweaks.