Add the Monoid type class
Remove documentation for the laws.hpp headers of type classes.

This will be kept for internal use only.
Add the Identity functor.
Add the Group type class
Remove old scattered operations on variadics
Sandbox: remove outdated assert experiment
Finer grained use of operators
Core: replace when_valid by when + is_valid