"Kinds"

Well, not really, but you do get sensible parametrization in protocols.  Also marks quite a few classes final.

May be topical wrt #1 and #45