Links for gradual
gradual-0.1.1.tar.gz
http://ecee.colorado.edu/~siek/gradualtyping.html