Permit use of '+' to concatenate strings as well as '||'