High-performance typed Python compiler
