adding prettyprinter -- inverse of parser to fixpoint
some fixpoint surgery, need to re-run tests. sigh.