Remove some references to lemmas that don't exist

But compilerProofScript.sml doesn't work