Rename negated -> negatively.
Change some ::value into object creation.
Add all_type, any_type, no_type.

Similar to all_of, any_of, none_of in <algorithms>, but with
a traits as the 1st argument.  These algorithms are designed
to work on top the currying machinery.