eval dispatch to eval_def