spec: various minor changes#2013

JelleZijlstra merged 2 commits intopython:mainpython/typing:mainfrom

JelleZijlstra:specchangesJelleZijlstra/typing:specchangesCopy head branch name to clipboard