spec special typing rules for operators on tuples