Expressions

Any expression is either a variable reference, an application or a special form:

varref : parsed (var)

app : parsed (fun args)

form : parsed ()

The var contains a list of parsed. All the special forms -- which are defined in other documents -- are sub-types of form.