add string printing to the repl semantics

including string_escape (not sure if that already exists somewhere).