According to @annevk, it should be a relatively easy cleanup in the spec, but require lots of (easy) downstream changes.

[PrimaryGlobal] is a marker on the Window object that IDL fallbacks to when an interface is missing [Exposed].

Requiring [Exposed] on all interfaces would allow us to get rid of [PrimaryGlobal] and replace it with [Global].