let compsubst2 s2 s1 =
  (List.map (fun (x,t) -> (x,apply_subst s2 t)) s1)@s2