Types

Looks like Guido is considering adding static typing to python.
How would this match up with traits? Here are some links:

http://www.artima.com/weblogs/viewpost.jsp?thread=87182
http://www.artima.com/weblogs/viewpost.jsp?thread=85551
http://www.artima.com/weblogs/viewpost.jsp?thread=86641

Chuck