types for existing operations (save, verify, compile and search), with a default for future / undefined ops.