Add "Simple" module
Add ADT for expressions
Define "Exp" as an instance of "Show"
Tweak output of expressions to conform to the book
Add "isReducible" predicate
Tweak layout
Add "reduce" function
Add "eval" function