refactor eval : do_eval_atom
refactor eval : do_eval_op_atom
refactor eval : do_eval_builtin
refactor eval : do_eval_op_lambda
refactor eval