InvertedIndex and index proxies now strict