Made the codebase fully ty-clean by tightening typings and runtime guards across the stack.

Made the codebase fully ty-clean by tightening typings and runtime guards across the stack. #1749