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