Astral, the company behind ruff and uv, is making a static type checker for Python