Type Safety Upgrade

Eliminate every [error type] issue in [directory] by adding proper types instead of any or type assertions. Preserve runtime behavior exactly and explain nontrivial typing decisions.