Implementation of a persistent binary tree

Implementaion of a binary tree, including the persistence characteristic, based on the implementation in ML made by [Okasaki](http://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504).
A small reference can be found on [Wikipedia](http://en.wikipedia.org/wiki/Persistent_data_structure#Trees).