Extend typing through the library

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/
https://github.com/python/mypy/issues/8645