semantic: Handle Aggregates in ident typeids.