Flesh out type checking standards

[jsstevenson]

Is your feature request related to a problem? Please describe.
General brainstorming/thoughts on potential alterations to the type checking workflows defined here:

• The example installs mypy-extension and pyright (if I remember correctly, the former doesn't really do anything for the latter, although I think Pylance can use it for type completions -- is that why it's there?). Should mypy be utilized as well?
• The Makefile runs pyright as part of the cqa target, but it doesn't run in GitHub Actions. Should it?
• As @korikuzma noticed, the tox file references some kind of types target, but doesn't seem to actually define or run it(?).

[github-actions]

This issue is stale because it has been open 90 days with no activity. Remove stale label or comment or this will be closed in 7 days.