Reorder parameters to Par to match feldspar-language order.
Add ArrayElem.
Extend the target language to include Add, Sub, and Mul and make reasonable hand written show instances.