Add of_list in Set.Make