update conLangProofScript.sml for new location of check_dup_ctors_thm
progress on the cheat in compile_initial_prog_thm

reduced to something about free vars and closed at the prog level