SE-0309: Unlock existential types for all protocols

[Joe_Groff]

Thanks everyone for participating in the review! The proposal has been accepted.