Various data structures for type aligned sequences: heterogeneous sequences where the types enforce the element order.