Proposed additions to `operator`

I think you are right. At least for the foreseeable future.