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