I'm hoping these features find their way in, too. I was just looking into their status yesterday, in fact, and came across these tracker threads:

* Non-nullable types: https://github.com/Microsoft/TypeScript/issues/185

* Sum types: https://github.com/Microsoft/TypeScript/issues/186

The short story is that there's some interest in both features, but there are challenges that someone needs to propose a solution to.