let set_conversion ty1 ty2 =
  match ty1,ty2 with
      Ltype ({lt_name = "set"},[_]),_ -> ty1
    | ty1,Ltype({lt_name = "set"as lt,[_]) -> Ltype(lt,[ty1])
    | _ -> ty1