Oh yes, I've been following this, at least the bits of information that emerge publicly.
But my dream is that this work could make it back into typescript itself - that a future version could possibly be persuaded to emit Closure type limitations without the help of a parallel/postprocessing pass by a tool.