Meta Circular Interpreter
see
MetaCircularEvaluator