get REPL translation working

that annoying op_apply theorem caught me again :(