ElectionId typedef
ElectionId = String
An election's identifier, unique within its community. A closed alphabet: it
appears in the ticket class label voter/<electionId> and is framed into every
hash a cast is bound to.
Implementation
typedef ElectionId = String;