This is cool. Back when I worked on Typescript the one type-aware lint you really needed was to prevent boolean coercion. I did get it working but the configuration effort required to get ESLint to have all the right plugins and settings was insane.