Implement proper scope analysis which supports TS's dual scope (values and types) system.

Released as part of v4
https://github.com/typescript-eslint/typescript-eslint/milestone/5