Operators: Improved type for `+() and `-() with respect to strings. The resulting string width should now be correct in some common cases. Fixes [bug 6785 (#6785)].