In the Haskell interpreter discussed in Section 14.3.8, implement meaning functions for the Clite arithmetic, relational, and boolean operators.

Add an implementation of the Clite unary operator ! to the Haskell version of the Clite interpreter.

After completing the previous two exercises, derive all steps in the application of the Haskell function eva ·1 to the Expression y+2 in the state ( , , < z, 1> l. That is, show all steps in deriving the following result:

eval(Binary "+" (Vary) (Lit (Intval 2)))[("x".(Intval 5)), ("y".(Intval 3)). ("2".(Intval 1)))] (Value 5)