Generalize find and implment more type classes

We made the tree instances of Functor and Traversable.