Naming convention - the leading z.

Leading z methods are like their non-leading-z counterparts
except there must be an implicit Empty[A] and it is used to
lower types from whatever they were (Option, View, etc.) and
provide something closer to the usual ambition.
A foldier distinctBy.
Working on sorting.