Removal of the StateMachine
Implement a direct evaluator using a recursive scheme
Implement an evaluator producing a tree which is evaluated