Zip for tuples and first sorting algorithm

A variadic zip for tuples which applies a function across any number of
tuples, in order of the elements after first validating that they are
all the same size at compile time.

Additionally a simple insertion sort implementation for the beginning
of algorithms.