equilibrate is Defined
bugfix: [Lvl.push] definition was wrong
Simplified [color] definition
fix: semi_regular definition was wrong
regularisation_cases
(dec_)is_empty is defined
do_regularize is defined.
Types of Lvl.equilibrate and Lvl.*_cases are much preciser.
dispatch is defined