It's not only nested types, it's really all types, top-level, their children, their children's children, etc :) The hierarchy is rooted in an instance of `ScalaClassFile`, who has as children the top-level types, and I start from there.