refactored out extraneous closure syntax in PushInterpreter.allPushInstructions Dictionary