Add spec for type identifiers