refinement: tell user how to exit repl.