Added State monad evaluations for let and next.