Adding static typing to Python

[Courageous]

>I agree, for your example; but a common use of typedefs now is
>to create an alias for a type whose name is just too long to be
>allowed.
>
>  typedef list<pair<string, bool> >::iterator ItemIter;

Surely. A different problem. This might suggest that along with
"typedef", one might have a "pseudonym" keyword or what have you.

C//