Adds type annotations to functions, variables, and parameters. Converts var to let, handles class constructors, array methods, and async/await patterns.