Now performs type checking involving array indices. Next is scope support.