>Fluent use of a dynamic language will use and create constructs that are nearly un-typeable.

Can you give examples? In practice, I haven't noticed this being an issue. A lot of python code already had/has docstrings explaining the types, these annotations just formalize that a bit more.