Split tuple_cat.h into tuple_cat.h & tuple_helpers.h
Introduce tuple_tail() & tuple_append()
Simplify the implementation of tuple_cat()
Add Bryan's second test