The Type Annotations proposal · Podorbit