TODO: More on ArrayElem.