Concatenate two A_Tuples, allowing either to be destroyed if it's mutable.
The concatenated tuple.
The first tuple to concatenate.
The second tuple to concatenate.