You've inherited a large untyped codebase and you're asked to add type checking. How would you sequence that work?