An EventId is a StringId with the additional guarantee that the corresponding string conforms to the event_id grammar.
EventId
StringId
Event IDs are strings conforming to the following grammar: