spec feedback from @bakkot#52

guybedford merged 4 commits intomaintc39/proposal-source-phase-imports:mainfrom

stage3-feedback-bakkottc39/proposal-source-phase-imports:stage3-feedback-bakkotCopy head branch name to clipboard