loop only on the actually new types in type analysis