docs: overhaul types #2039

Job	Run time
Verify dev env	8s
Build & verify package	14s
Check types using supported type checkers	19s
Tests on pypy-3.10	21s
Run doctests & render changelog	16s
Tests & Mypy on 3.9	35s
Tests & Mypy on 3.13	59s
Tests & Mypy on 3.11	58s
Tests & Mypy on 3.10	1m 8s
Tests & Mypy on 3.12	1m 7s
Tests & Mypy on 3.14	1m 14s
Combine & check coverage	14s
required-checks-pass	4s
	7m 37s

Provide feedback