I would think a rule “a module that defines an operator overload must introduce at least one of the types involved” would prevent that problem, and still allow

I would think a rule “a module that defines an operator overload must introduce at least one of the types involved” would prevent that problem, and still allow most, if not all, good uses of operator overloading.