Let traversal find all inferred types - not just definitions