A value object representing an HTML form control ID, making sure the ID generation is deterministic and unique in a document.
