finite distinct (INprogress)

INprogress #1 - transduce