Type checking for array indices (task 4)
Compiler for array indexing (task 4)