start looking at updating patLangProofScript.sml