a cleanup pass on compilerProofsScript.sml