An expression is a computation
that evaluates to a value
of a single type
according to the rules given in the
operational semantics for each expression form.
Expressions may be one of the following forms:
The operational semantics for each expression form appears
in the respective sections for each. The following syntactic forms
are considered to be values: