Add Enumerable(T)#to_set(& : T -> U) : Set(U) forall U (#12654)

Add Enumerable(T)#to_set(& : T -> U) : Set(U) forall U (#12654) #10202