The type \ref{State} contains each of the States in the United~States, with the addition of Washington~DC. The States are 1-indexed and sorted by \emph{abbreviation}\footnote{ States are sorted by abbreviation rather than the State name beacuse they are most frequently referenced as such.}.