Comparing trees, functionally (syntacticsalt.com)