checked expr inside ArrElem to make sure type is Int