TYPE_OF_VARIABLE_INDEXED_WITH_INTEGER_TYPE can now be 'tuple'