grande appassionato di rendere il codice più corto, più bello e più potente allo stesso tempo ToolEnv aveva bisogno di una revisione

è stato necessario un po' di lavoro furtivo nei livelli inferiori affinché questo "funzionasse" semplicemente, ma penso che sia venuto insieme piuttosto bene. la vecchia versione sarà ancora disponibile altrove, ma questo *dovrebbe* essere non distruttivo per la stragrande maggioranza dei casi d'uso una volta unito.