Structural identifiers need not be globally unique

Closes statedecoded/statedecoded#514.