Added prettyExpr, and kept standard Show instance.