Towards dropping old counters
Goes together with Lbcom!501 (merged), Rec!2181 (merged), Brunel!1063 (merged), Boole!298 (merged), Panoramix!76 (merged), Alignment!140 (merged)
Moved all trivial counters to new counters.
Remains a number of cases where the counter name is not known at compile time. These were not touched
Edited by Sebastien Ponce