The meta-circular evaluator