Iterative multisets and sets in Agda

The current version of this library is here.