Consider the possibility of designing a complete object-oriented implementation of Clite, incorporating all of its type checking and meaning rules inside the classes of its abstract syntax.

(a) Determine which of these rules would appear with each class.

(b) What simplifications of these rules are achieved by tills change?

(c) Complete the implementation (Team Project).

Using the Stack class in Section 7.5 as a guide, add a di sp'l ay method and give its pre- and postconditions.

Rewrite the code for the pop method given in Figure 7.31 so that it uses the top method. Does the postcondition for pop need to be altered? Why or why not?