$SetReplaceTypeGraph gives the Graph showing
types and properties defined in SetReplace
(including internal ones) and possible computation paths between them:
In[] := $SetReplaceTypeGraph
It is a Graph representation of a directed hypergraph with
types and properties as vertices and implementations of translations and properties as edges.
All vertices have the form kind[name], where kind can be either SetReplaceType,
SetReplaceProperty or SetReplaceMethodImplementation,
and name is either a type specification or a symbol.