implemented: find_best_child, lookup, member? -- not yet referenced from rest of code
everything seems to work correctly, no subtree->DAG compression yet, though