Yeah, Nimrod is somewhat close to what I'm working on, though my language is quite a bit closer to actual Python in many ways. Also, my language does not rely on GC, instead using annotated pointer types to get deterministic memory management (without requiring very explicit allocation and deallocation).

I don't really buy into their reasons that LLVM is harder than C; it's just a different environment, closer to assembler in some ways, but actually quite readable in my opinion.