grote fan van het korter, mooier en krachtiger maken van code, allemaal tegelijk ToolEnv had een opknapbeurt nodig

er was wat stiekem herwerken nodig op lagere niveaus om dit "gewoon te laten werken", maar ik denk dat het vrij goed samenkwam. de oude versie zal ergens anders nog beschikbaar zijn, maar dit *zou* niet verstorend moeten zijn voor de overgrote meerderheid van de gebruikssituaties zodra het samengevoegd is.