let field l finfo =
    match l with
      | Mloc l -> Mloc (M.field l finfo)
      | Path p -> Path(add_field p finfo)
      | PRef p -> PRef(add_field p finfo)
      | PRpar (p,n) -> PRpar(add_field p finfo,n)
      | ARef p -> ARef(add_field p finfo)
      | ARpar (p,n) -> ARpar(add_field p finfo,n)