Make a simpler entry point, instead of using the EVAL-MC guts directly in eval.lisp