S := S ++ S2                                   # union of two sets or two csets
 S ++:= S2                                      # augmented assignment
 L := L ||| L2                                  # list concatenation
 L |||:= L2                                     # augmented assignment