replace "congruence" relationships on Node with std::hash and std::less on Tree