let field l finfo =
    match l with
      | Mloc l ->
          Mloc (M.field l finfo)
      | Path (m,x,off,_obj) ->
          let ty = object_of finfo.ftype in
          Path(m,x, off@[Lookup.Ofield finfo],ty )