Add support for iteration through type graphs