+ TypeDependencyGraph.children, predecessors are derived
* optimized computation of predecessors
* moving into top level classes