Integral: make equivalent to a corresponding `std::integral_constant`
Constant: consider renaming to UniversalConstant
Documentation: refactoring and improvements in the tutorial
Sandbox: remove old Logical experiment.
Use finer grained assertions acknowledging Constants