fix patLangProofScript.sml for new type errors

and remove the cheat that they enable proving