semantic: Only emit one TypeInfo for Aggregates
semantic: Only take in account fields