[Pitch] Member macros that know what conformances are missing

Evolution Pitches
16

This proposal is now in review as SE-0407.