Reassessing the definition of function annotations to restrict their use to type annotations. Providing a specification for what to add to Python 3.5, which Guido suggests be reduced to a minimum.