Using consistent-subtyping on indexing rules