Avoid special-casing type inference of unituples on int tuples

Type inference of unituple was limited to tuples of ints, otherwise it would fall back on heterogenous tuples (which we currently don't support).