Structs
Use this to associate additional state with a Symbol, identified by a SymbolId.
We prefer this instead of adding an extra generic state field on Symbol, as that would require propagating the generic type everywhere.
Use as many of these as desired. To allow for initialisation and referencing without Option, the state value must have a default.