Alternate syntax

The syntax of some constructs has been slightly relaxed:

• An optional ; may terminate a sequence, list expression, or record expression. For instance, begin e₁ ; e₂ ; end is syntactically correct and synonymous with begin e₁ ; e₂ end.

• Similarly, an optional | may begin a pattern-matching expression. For instance, function | pat₁ -> expr₁ |... is syntactically correct and synonymous with function pat₁ -> expr₁ |....

• The tokens && and || are recognized as synonymous for & (sequential ``and'') and or (sequential ``or''), respectively.