Identifiers and UUIDs

Generate and reason about identifiers, including UUID versions and variants.

Identifiers: how UUID versions differ, what the version and variant fields encode, and when to use each.