Made MTree a Functor-instance.
Wrote Crawlers.packCrawler and packCrawler'.
Implemented unified map for tree crawlers.

Also flipped the type variables of SuccessorNode and made it an instance
of Functor (over the node state).