De-F-algebraify
Improve pretty-printing of expressions