fix benchmark name
specialised version of runAG/Rewrite for dags w/o sharing
custom instances of Functor, Foldable, Traversable

This seems to speed up our implementation (on dags and on trees).