Refactored eval_core to use open recursion and to thread a state value, in preparation for supporting expressions with side-effects
Refactored eval_core to use open recursion and to thread a state value, in preparation for supporting expressions with side-effects

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast