Hutton example
Some new examples and updated Traverser
Default F(Co)algebra instances for Fix f
Open questions on traversing
Some more exploration on traversing
Lenses for annotations
Clean up various things
Make Tree a newtype to allow more instances
Traverse example now puts the traversal order in the Traversable instance (yay!)