More efficient implementation of String#+ and String#*