Greatly expand Data.List.Unique

add `map`, `UList-setoid`, and `_∈_` (and some auxiliary stuff)