On: "We're building a new static type checker for Pyth...

[Too]

New language means throwing out the ecosystem, which is one of pythons biggest strength. There are and have been multiple attempts on compiling python, most recent promising shot is Mojo aiming for library compatibility.