[Pitch] Extend protocol conformance to consider implicitly defined method signatures

I also opened a pitch about that issue a while ago, it's a class issue.

Writing required convenience override init isn't fun.