aggregate types are separate, even with the same namespace

The aggregate type is where a key is unique: two types, of one context or of two, that use the same namespace each hold the key, and one's releases and confirms never touch the other's.