This includes doing structure uniqueness modulo majorness, for shared nested structures.
This also distinguishes between the same struct included in multiple parent packings.