The graph of systems connected by homotopies. Inherits from MutableHashTable.
The object HomotopyGraph is a type, with ancestor classes MutableHashTable < HashTable < Thing.