This looks like a very interesting language. I like the idea of exploring the statically typed Scheme space. I especially like the support for algebraic datatyp

This looks like a very interesting language. I like the idea of exploring the statically typed Scheme space. I especially like the support for algebraic datatypes and the array notation. But a couple of things puzzle the hell out of me. Why Python (at all) and why not LLVM already. Using Python for the front end surely makes it much harder to set up an efficient API accessible from C. The use of C for the back end is perfectly defensible, but (and I'll have to read it more carefully to check) does this mean there is no (fast) interpreter and it is only a compiled language? If so, I'm disappointed, as the language itself looks absolutely great. With the LLVM Jit on the back end and a front end written in C, say, this would surely be a killer language.