let startof l ty =
    match l with
      | Mloc l -> Mloc (M.startof l ty)
      | Path _ -> Wp_parameters.fatal "startof a functional variable"