fix exhLangProofScript.sml for new type errors