Astral – "We're building a new static type checker for Python"