retypeExpr
balanced trees (for type constructions)
unsafeShowPpr, changedSynR, changedArrR, SyntaxEq