SI-8587 Explicitly document forall/exists for empty collections

This behaviour isn't always intuitive for newcomers.

Also changes inadvertant doc comment to an impl. comment.
Merge pull request #3748 from retronym/ticket/8587

SI-8587 Explicitly document forall/exists for empty collections