get conLangProofScript.sml building again after new type errors
prove recently introduced cheat in modLangProofScript.sml