so `list.plusElement(element)` always returns a co...

# announcements

[yole]

so list.plusElement(element) always returns a copy of the list with the element appended, and list1 + list2 will return a concatenation if both list1 and list2 are lists and a copy with the element appended if list2 is not a list