Tuples

A tuple is a fixed-length combination of items of well-defined sorts.

The sorts for tuples are:
 (sort1:𝕊, sort2:𝕊)
 (sort1:𝕊, sort2:𝕊, sort3:𝕊)

The operators for constructing tuples look very similar:
 s1:𝕊, s2:𝕊, (s1, s2) : (s1, s2)
 s1:𝕊, s2:𝕊, s3:𝕊, (s1, s2, s3) : (s1, s2, s3)

Examples

Uses _example Rational numbers, _example Character strings

A few tuple terms:
 _example (1, 2, 3) : (one, ℕ.nz, ℕ.nz)
 _example (anInteger, 1/2) : (ℤ, ℚ.p) (with _example anInteger : ℤ)
 _example ("a string", anInteger) : (String, ℤ)