We need a rethink; stop the @pseudoProtocol madness

[nuclearace (Erik Little)]

A hygienic macro system has been discussed in the past, and I think the idea is still a possibility. However, I'd like to point out that two of the current marking annotations have been called out for deprecation and removal. Someone just needs to move forward with a new proposal to remove them.

@Chris_Lattner3

These features both require an attribute on the original type declaration, preventing retroactive extension of a type to support these features. In both cases, the attribute was not included in the original proposal, but was added during the review out of concern for abuse. The Core Team has not asked for a similar attribute for static calls because it has changed its mind and no longer agrees with this concern; it does not align with Swift's general design principles to restrict features this way. We therefore invite a new proposal to remove these restrictions.