metacircular evaluator