Make protocols conforming to protocols as only struct/enum/class types can conform to protocols now

[cukr]

Hi! This is something that core team wants to fix, check out "Clarifying existential types" section of Improving the UI of generics