orig.append(other):
orig and other have type List, the result is a List that consists of all values of orig followed by all values of other.

Look at the examples:

list1.toString() # "(3)"
list3.toString() # "(1 2 3)"
list1.append(list3).toString()  # "(3 1 2 3)"

Does that help?