Clean up ArithOp formatting.
Complete the Expr type.
Add a better Show instance for Expr.
Finish expression parsing.