val union_ex : string list list -> string list list -> string list list