Ah, I've got this one figured out. I'm going to use it to implement another dialect of CL... in which I will implement a dialect of Scheme... in which I will reimplement Arc. I'd like to see how many iterations of this one could go through before it becomes completely unusable even for simple arithmetic.

Assuming each one interprets the next.