New test for writing / reading whole trees

- Seems to pass here, but not in the ToolBox.
Find a bug in TreeRecomposer

- Will require us to store the types (TypeName, TermName) of a name
to avoid disgusting ack.