Add singleton sets to Relation.Unary, clean up Monad.Predicate and add
generic operations to Data.Container.Indexed.FreeMonad.
Merge https://github.com/agda/agda-stdlib