Code-Refactoring Software-Maintenance TypeScript Type Casting: The Journey from JavaScript to TypeScript in a Large Codebase 3 years ago