start on a new version of toBytecodeProofsScript.sml

updated for the new intLang and bytecode