Conform to protocols by fulfilling stricter requirements

[suyashsrijan]

Hmm, we could probably allow witnesses to be covariant. I mentioned it in Protocol Witness Matching Mini-Manifesto