Simplify pretty printing.
Add some examples.
Mention built-in functions in README.