States of the AleoBFT labeled state transition system.
We introduce fixtypes for the states, and their components, that the AleoBFT system may be in at any given time. Along with the fixtypes, we also introduce some operations on them.
