let map_ctyp f =
              object
                inherit map as super
                  
                method ctyp = fun x -> f (super#ctyp x)
                  
              end