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