Here are our goals for the next bit:
fix the introduction to the paper
fix the embed section
rewrite the automaton class hash function to only use 2-branching local trees.
modify embed to incorporate a notion of how a tree was factored in the trees it was factored into
write excavate function to rebuild n-branching structure from 2-branching trees