Fixtype of tag environments.
A tag environment is a finite map from tags (identifiers) to tag information. Since these tags form one name space [C17:6.2.3], they must all be distinct, e.g. a structure and a union type cannot have the same tag.
