Constructs a tuple by adding a value v at the end of t.
Computes the return type of a call to kumi::push_back