Tuples [HB 9]

New features:

• The empty tuple <> is now allowed. Similarly, the empty cartesian product car<> is now allowed.
• New tuple constructor <expr(x): x in ... | condition(x)> as for sequences and sets, so one may build variable-length tuples with ease.
• One may now loop over the entries of a tuple T by for x in T do ..., etc.