More work on conLangProof

There is now an assumption about prompt_mods_ok at the cheat points.