1 Abstract Syntax

Significant changes since v0.98 are temporarily indicated by exclamation marks `!' on the left. Apart from that, `fun' has been uniformly changed to `op', and `library' to `lib'. In general, the abstract syntax and the concrete syntax are now much closer than before.

An abbreviated grammar, defining the same (tree) language but using fewer nonterminal symbols, is given in Section 2.