Clean up project a bit, add a comment
Explicitely defined one hot encoding for envelope state machine