Remove special Tuple handling in allquantors