Add mceval example
Fix misconversion with local defines
Fix conversion of defines inside lets
Explicit mutually recursive functions in mceval