Updated docs, added IndexerMap.getMpSynonyms() and IndexerMap.getMpTopLevelTerms().