Cleaner usages of methyl::Tree after congruence_** routines deleted