[Accepted] SE-0402: Generalize `conformance` macros as `extension` macros

Was there any discussion regarding this point?

I believe that accepting the proposal as is would block this possibility from being a future direction, because the conformance names are currently listed directly under conformances instead of being embedded in named(…) as it is for names.