__identifierBrand__: unique symbol

Each identifier type is represented using nominal types, see: https://basarat.gitbook.io/typescript/main-1/nominaltyping