call by value semantics for lambda smallstep
call by value semantics for bigstep