attempt to update REPL translation

for the reorganised definition of the various repl_funs. it fails
somewhere in translating the inferencer (I think), though.