Loose TypeScript that compiles today but is silent about its own shape; add the annotations until the compiler starts catching bugs.