start definition of repl_fun

stuck on infer_prog. also stuck on the parser, but getting around that
with a new_constant; might do the same for the inferencer when I next
work on this (presuming it's not packaged up nicely by then :))