Remove all traces of CkArrayIndexStruct. Avoid dangerous pointer casts