Extend typing through the library

[jacalata]

Specifically, all our decorators will need some global work to type-check them
https://quantlane.com/blog/type-checking-large-codebase/

https://peps.python.org/pep-0612/
python/mypy#8645

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 14 days if no further activity occurs. If this is still relevant, please comment to keep it open.