> You can do still stuff like just omitting the return type of functions and then they instantly lose all type information.

That's not the case: http://www.typescriptlang.org/play/#code/GYVwdgxgLglg9mABFAp...