Eval Procedure body with the correct environment
Update tests to pass again in new thunk/CPS world