And yet, none emerges as a general clear choice. I have the feeling this is because python is too dynamic making this a sysiphean effort.
I urge designers of future dynamic languages to study Lua and LuaJIT if you want your language to not inhibit JIT development.