reverseindex is now a pointer to IndexedCorpus