More fixes toward getting conLangProof cheat free

I think everything that conLang needs to rely on should now be provided
by the modLang semantics.