infix operand synonyme for concatredefines Sequence.infix ++:infix operand synonyme for concatSequences