rework repl_fun_def to expect the bytecode to do the printing

the bytecode doesn't do it yet though,
and this will probably break replCorrectScript.sml