Type stable difference of tuples

[mbauman]

Yeah, don’t call it on large tuples — it creates exponentially large functions.