In the "Simple Counter Example", it seems odd to me that both increment and decrement keys have the same "INCREMENT" parameter (ie Finite.Transition("INCREMENT" <- this).
I'd have expected "DECREMENT" for the decrement key... is that a bug or just me not understanding how it works?