T-uples and lists

• Parentheses are required in t-uples:

  Ocaml	Righteous
  1, "hello", World	(1, "hello", World)

• Lists are always enclosed with ``['' and ``]''. Their syntax is:

  list ::= [ elem-list opt-cons ]

  elem-list ::= expression ; elem-list | expression

  opt-cons ::= :: expression | (*empty*)

  A list is a sequence of expressions separated by semicolons, optionally ended by a ``::'' and an expression, the whole being enclosed by brackets. Examples:

  Ocaml	Righteous
  x::y	[x::y]
  [x; y; z]	[x; y; z]
  x::y::z::t	[x::[y::[z::t]]]
  x::y::z::t	[x; y; z :: t]

  Note the two ways to write the last case.