Add arrayPush macro to array module to make pushing an element to array end less verbose than array(ar, arrayMax(ar), type) = elt;