changed sast so that SArrElem and SArrElemAssign take sexpr (IntLits or Variables) instead of just ints