Immutable Trees

I've got a working implementation (if you want to discuss it please send me an email). I'm slowly working on explaining the implementation and expanding the tests.

1. What do I mean by immutable?
2. How would I use a complex immutable type?
3. Staying rooted.
4. Maintaining a balance.
   1. The result.