I don't understand why stock Python doesn't include some sort of optional type annotation, as SBCL and other Lisps. Some years ago there was a lot of fuss in the Python community about including optional type checking in Python 3... what happened? At the end, I found most changes from version 2 cosmetic and not really exciting.