Distinct Iterable which drops duplicates

[dmfs]

Replace the old Distinct by a new implementation which also takes an optional function to derive the criterion by which to distinguish.