The + operator is used for numbers and for Strings. At some point during resolution this implies that for each expr + expr we need to check all possibilities. This can be improved if we have two different operators for addition one for Strings and one for numbers.