How should we do type checking? #916
Description
Describe the feature
Should we be enforcing Python type checking on this project?
Our lint_python GitHub Action currently runs mypy, which finds 77 errors that we ignore via || true.
% uvx ty check # 93 diagnostics
% uvx pyright # 501 errors!
% uvx pyrefly check # 63,944 errors!!!
Should we use one of these four tools without ignoring the errors?
Should we remove the mypy runs that we are currently ignoring?
Additional context