Indexing metric space
Fix cycle between "space!topological" and "topological!space", cf. #94

They both said "see the other one".