Я бы так не сказал. Читабельность кода это правильное и разумное именование переменных и наличие там где надо либо небольших коментов, либо jsdoc.
А типы (но только правильно написанные с жсдоками) дают удобный автокомплит в редакторе, чуть более удобную навигацию по ctrl+click и предпосылки к написанию мономорфного кода.
С типами ты доказываешь программе, что твоя реализация корректна. Как тдд, только с типами.