fix typo in toIntLang2ProofScript.sml

registered pmatch_i1 instead of pmatch_i2