It is not implemented yet. We do support most of the TS type syntax (but not checked) using the --types option.
There is also a branch with early strong mode support. Use --strong-mode and "use strong". See the strong mode design doc for details.
How to try SoundScript "use stricter" and "use stricter+typed" modes in Traceur?