Appends arr2 to arr1. O(length(arr1) + length(arr2)). Note that this operation is *not* destructive, i.e. a new array is created.
function arrayAppend<A> input array<A> arr1; input array<A> arr2; output array<A> arr; end arrayAppend;