This PR will:

• use for comparison methods the same (almost) better explanation of base method overriding as that in the note for numeric methods (which explains the goal of the priority rule—overriding base methods—and is more readable):

  Note: If the right operand’s type is a subclass of the left operand’s type and that subclass provides the reflected method for the operation, this method will be called before the left operand’s non-reflected method. This behavior allows subclasses to override their ancestors’ operations.

• state for numeric methods that this priority call to the right operand’s reflected method is restricted to strict subclasses (it was already stated for comparison methods).