Use pretty-printing for all TR REPL commands
Add doc examples for other TR REPL commands