This is a class to represent unique IDs for events in a type-safe way. These are created and managed by the System, not the State.