start updating exhLangProofScript.sml