miscellaneous

* Export BinaryTree
* Add recursion schemes
* Create a bunch of instances
* Add prisms and traversals
* Relax the dependency of base