Add logical operations on types

C++17 adds some types for performing logical operations on other types. These types can simplify some metaprogramming code. It would be useful to have these operations available now, before we are using C++17.

The new types are

std::bool_constant<bool v>
std::conjunction<typename... T>
std::disjunction<typename... T>
std::negation<typename T>