tweak printer to (hopefully) match semantics
add a bytecode instruction for printing errors, and use it in repl_fun

now repl_fun should match the semantics.
haven't proved that yet.