This is the main procedure to evaluate a given expression. It just takes the tag of the expression and calls a "dispatch-case" with the tag. Look at the case-statement by clicking its call inside the eval procedure!