A minimal state machine

This is a minimal state machine built around enums. The idea is to annotate the different enum values with the valid transitions for each of the values, and then make use of the included traits to handle the logic.