Operators: Improved type for `+() and `-() with respect to strings.

The resulting string width should now be correct in some common cases.

Fixes [bug 6785].