Tighten linting #616

Job	Run time
Check types using pyright	29s
Build docs & run doctests	27s
Verify dev env (ubuntu-latest)	22s
Verify dev env (windows-latest)	57s
Tests & Mypy on 3.7	1m 31s
Tests & Mypy on 3.8	1m 17s
Tests & Mypy on 3.9	1m 33s
Tests & Mypy on 3.10	1m 58s
Tests & Mypy on 3.11	2m 4s
Tests & Mypy on 3.12	2m 23s
Tests & Mypy on pypy-3.8	1m 6s
Tests & Mypy on pypy-3.9	58s
Tests & Mypy on pypy-3.10	1m 16s
Combine & check coverage.	8s
required-checks-pass	2s
	16m 31s

Provide feedback