Now that shell can return, use shell's evaluator wholesale.