Keep current pp options when switching pretty printers
Allow instantiation of TyVars to polymorphic types in equalities.