Avoid special-casing type inference of unituples on int tuples.
Add a test for recursively homogenous tuple iteration (it works!)
Merge pull request #573 from pitrou/non_int_tuples

Avoid special-casing type inference of unituples on int tuples