DOC: Minor updates.  Needs work on NAMED_PREDICATE_NONDET()