Defprotocol

Generate the right `@protocol`s for `defprotocol`.