[code_biologist]

The tagline: An extremely fast Python type checker, written in Rust.

@dang or another mod, can you add that to the title? Thanks!