start looking at updating replCorrectScript.sml

there is a lot of junk in that file that should be moved into the
appropriate directory (e.g. semantics or inferencer) if it's still
necessary

to make progress on this will require repl_fun_alt to be defined.