Definition of name equivalence

[xigoi]

The term “name equivalence” is a bit misleading. It really means that each 
`object`/`enum`/`distinct` declaration creates a different type, even if the 
declaration looks the same.