I’d be interested in seeing at least a consideration to a design using a concrete type like ValueIdentity similar to ReferenceIdentity. Perhaps ValueIdentity could just use a plain small string internally to make it fast.
An update from the core team on the below would be nice.