Efficient tuple concatenation

[jameson]

@pablosanjose

But why does this work

It doesn’t call itself recursively on new values, only existing ones. This allows inference to trivially prove that it won’t need to solve the halting problem in order to do constant propagation.