Tuned pretty printing

No functional change intended.
Add parse/unparse support for if-then-else

The pretty-printer always parentheses if-then-else expressions, even if it would not be necessary.