"Kinds"

Well, not really, but you do get sensible parametrization in protocols.  Also marks quite a few classes final.