Work on fixing conLangProofs