Hey @Thagor ! Thanks for raising this.
This is an area of ongoing work for us. It’s our goal to eventually be fully typed & compliant, and new code is typically introduced with appropriate types. We’re currently working through the older parts of the codebase and hope to be PEP561 compliant in the near future!