Reorganize and clarify documentation

Groups functions by categories.

Revises documentation of any/all/none/not_all to explain difference
between boolean and three-value forms of the fucntions.  Uses
non-negative numbers for examples to avoid making people think about
defined/undefined list values when we also want them thinking about
defined/undefined return values.
revise SYNOPSIS and DESCRIPTION for revised export model