Step 3. Turn on "noImplicitAny" and even more strict mode
Step 4. ESLint for Typescript
Step5. Local types override
Step6: Types at Runtime
Step 7. Tests for Types