I'm interested to see if you can achieve the mixture of dynamism and
C compatibilty within the same source language.
Yes, that's a key goal I'm trying to accomplish. I guess time will
tell.
Implementing compile time static typing for a runtime typed system is not
that easy.
So
In my Church/State implementation I have implemented a low-level (C
like) language and a seperate high-level language (in COLA style).
Sounds interesting. I'll have to look at what you have again (I
believe yours was the Common Lisp bootstrap implementation?) and get
some more ideas.