Adding new algorithms.
Adding new concept, Conditional.
Redefining relational concepts.

Added a Boolean concept, which only accepts types that will
contextually convert to bool, but that do not define their
own logical semantics.

Loosen the requirements on the results of relational operators
to be Boolean.

Started building out the traits header to support more of
the standard type traits.