Integral: harmonize with std::integral_constant
Make Logical a type class
sandbox: ongoing attempt to improve if_