Rename eval and exec so they are like in State

* Rename eval and exec so they correspond to the functions in State
* Move utility functions into Utils.h (mostly due to a naming conflict)