fixes prettyprinting for Defn.Def and Defn.Macro