A code formatter built into the compiler would have the ability to determine the types of variables and functions and could add it to the source code, or could strip out any types it is able to identify, so developers can, for instance, work on their code without types, then format and add the type annotations, then commit to the repository for their teammates to consume with the added type clarity when reading the code.