eval: Evaluator.checker -> .Checker