move some things out of toIntLangProofScript.sml