>>59,60
Doesn't matter what produced it, as long as it's an executable binary. In other words no interpreted languages (but it's perfectly happy to, e.g., chew on the JVM or php.exe or python.exe or MSVBVM60.DLL or whatever.)
>>62
When we find a good reason to.
>>63-65
Our system is not based on any of this academic bullshite... one way to think about it could be "a more practical Coq". Sometimes the best way to innovate is to ignore all the academics who have basically painted themselves into a corner. (See also: register allocation, rigid calling conventions, etc. I've had enough of the "use graph colouring" idiots. But that's a rant for another day...)