Add singleton sets to Relation.Unary, clean up Monad.Predicate and add
generic operations to Data.Container.Indexed.FreeMonad.