Tree sets

* Implementation of AVL trees in moorings
* Set implementation based on them
* Some oracle-style testing for sets