Unlock Existential Types for All Protocols

Meh, I wasn't aware of this. I would reject this intuitively as we have extensions for using statics, but it seems to relate to classes/structs here.

A bit of it was mentioned in the future directions of this proposal.

I found a nice but older post to that topic.