Proc-macro derive for typeslot.
Statically assigned slot indices for types, grouped by a marker type.