Недавно рефакторил кучу кода где много any или вообще типов нет
Могу посоветовать такой путь:
1 - пройтись по всем переменным вообще без типа, которые своим названием выдают тип. Например переменная isSomething явно подсказывает что это boolean, если нет то разрабу по рукам. В общем протипизировать самое явное, числа, строки, булевые значения.
2 - найти все использования переменных описаных в п.1 там тоже протипизировать если пропустил или уже не так понятно было пока не увидел связь с первого пункта
3 - удалить все any, где ругается - оставить
4 - начать описывать интерфейсы для тех вещей которые не являются примитивными типами, пока можно в кучу кидать, распихать все можно позже
5 - все что слабо поддается типизации либо переписывать и рефакторить, либо временно помечать как any
6 - после того как остались только any - начать искать подходящие типы