Several new type level functions dealing with type sequences.