Refactor binary operator binding in preparation for future work. (#78832)

In the process a small bug was fixed. Binding of instance compound assignment operators was made consistent with binding against static binary operators with respect to `implicit object creation` and `default` operands.

Author: AlekseyTs