RFC: Overloaded arithmetic and logical operators should take `self` and

their arguments by value.
Indeed, this is strictly more powerful than what we have today, because you *can* also implement it for references to a type!