How should I implement overloaded operators so they work properly when new subclasses are added?

Question

If I have a class B, I can add support for subtracting two instances of B and, for debugging purposes, return a string giving the types of the valu