Got type checker working for array indices. This simply checks if an array index is an integer.