another cleanup of compilerProofsScript.sml

mostlty moving stuff out into earlier theories