code: check exported types with locally defined data in scope