I wonder by Babel was ruled out, in conjunction with Flow. DefinatelyTyped was a game changer for us, as it already has a large repository for popular libraries.

But except that, typescript has some catch up to do in terms of typesystem with Flow.