refactor(part 2): resolve typing errors throughout entire codebase

[GabeMillikan]

Fixes all remaining type errors across the entire repository, according to Pylance.

There are a few minor adjustments to logic trees (since naturally many of these type errors actually reveal real runtime errors); feel free to ask questions about the less obvious ones :)

Closes #223