get replCorrectScript.sml building again, with many cheats

the order of subgoals may have changed - comments in the proof script
may be out of date.