FUN, etc.). This tag is e.g. used by the evaluator and the printer to dispatch over the different kinds of trees. Of course, it is the reader that constructs the trees with the right kind of tag. The trees are further elaborated on in the other productions.