Macro mk_index_impls 

macro_rules! mk_index_impls {
    ($ty:ident.$field:ident[$idx:ty]: $output:ty) => { ... };
}

Delegate Index implementations to subfields.