Tweaks to conLangProof