Identifiers should get their own datatype. The value type would continue to be string.
NOTE: The new datatype can be defined without providing specialized formatters, parsers, or validators. It would fall back to basic handling for strings, just as before.