update translation of REPL module for reorganisation of repl_fun

tried testing it, but the translator grinds to a halt before it even
reaches the new parts of ml_repl_stepTheory. some crude experiments
suggest that the slowdown is occurring in snoc_dtype_decls, but not sure
why...