This is exciting - ever since reading Jeremy Siek's post on Gradual Typing [1], I've been missing this in my python and ruby. This could be the killer feature that would both move larger corporations towards python 3!
Two things in the pragmatic side seem hairy though - type declarations in types and `Undefined`.