TLA2B now distinguishes between tuples and sequences.