Beginning of the type-dependency graph.

This output will be used to debug the canonicalisation process.