Fix bug in the implementation of forward_tuple_tail & tuple_tail
Use forward_tuple_tail where appropriate
Eliminate tuple_tail_old