The operator + can be used to build new arrays resulting from
the concatenation of the elements of two arrays given as operands:
(poke) [1,2] + [3,4,5] [1,2,3,4,5]
The two arrays given as operands shall have the same elements of the same type. The resulting array is always unbounded.