An implementation of "Mathematics of Arrays" in Feldspar