runM ↦ runEval

For coherence with M ↦ Eval.