2. We will use our type inference engine to add annotations to each parameter of each function. This can be triggered by a webhook or run on demand.
4. Spot TypeErrors by viewing the code in any IDE supporting TypeScript.