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.
