Hello, there are two uses of the word 'operator' that refer to those not defined to be operators. This PR proposes to replace them with other appropriate words. “new or super operators” W...