0.9.0: linear/shape/convoluted indexing type lifted to type level, parametrization structured