[cleanup] Simplify CompositePreBasis

This avoids several explicite tuple transformations by simply expanding an index_sequence in the new helper template Types. As a result code is much more readable and there are much fewer indirections.