Add documentation & tests for negating predicates

[edenworky]

You can wrap any predicate with the not_ predicate to negate it, i.e. dead[:P] << not_[alive[:P]], however this isn't documented or tested anywhere.