Support indexing of pointers in the typechecker.