Seeing as you've adopted TS, have you had the chance to look into Sorbet? The Ruby type-checker?