Ty – A fast Python type checker, written in Rust