Working on the type checking of table indexing