Thanks -- I'm always happy to learn of earlier work that's along the same lines. At http://lists.squeakfoundation.org/pipermail/squeak-e/2003-February/000028.ht...
My appologies, I discovered that message some minutes after sending my over-eager message... Indeed, my own text refers to another which must be 23 years old now and a concept of a "System Oriented Operating System"
I write my own credit self-correction to my earlier message as follows:
Oops, I forgot to mention the biggest credit-where-due on this: Udi Shapiro and the use of nested virtual meta-reflective interpreters in a network in Flat Concurrent Prolog. He did indeed reify eval and absorb apply (#4) and he did indeed use source-to-source transformation to simulate meta-interpretation cheaply (#10).
As I read over my description, I think it's all there in Udi's work (except for #9, which is obvious anyway). My message is only new imagery for explaining an old idea. I'm embarrassed. Well, at least the idea I almost stole is a good one. ;)