iterated concatenation definition for strings