Add pretty-printing for expressions and types.