Create a new filter F that, when wrapped around another iterator I, creates a new iterator I' that will return only those
values of I that have not yet been returned by I', discarding duplicates.
The method verifier is a bit 'keen' and doesn't cope well with ITDMs which are of course to be considered a 'default'
implementation if the target type doesn't supply one.