fix some proofs in intLangExtraScript.sml