Я никак не могу обойти тему того чем является тайпскрипт, и чем он должен был быть.
"TypeScript is JavaScript with syntax for types." www.typescriptlang.org
Это именно то что отличает тайпскрипт он кофескриптов, эльмов, ризонов и т.д. Все что нужно чтобы получить javascript - убрать аннотации типов. В вебе, где размер бандла одна из ключевых метрик, это - киллер фича.