Refactoring thousands of files containing hundreds of thousands of lines of code to incorporate Python types.