Commutative operator function synthesis

[xwu (Xiaodi Wu)]

@Jon_Shier

Might this be cleaner as part of the operator declaration? That way you couldn't apply it to arbitrary functions. Otherwise yes, I've wanted the same thing.

Infix + is not commutative for string concatenation.

As to the general idea, there have been previous discussions on these forums. See, for example, this thread.