A small program to rewrite well-formed formulas.