Add tests for the fusion traverser
Add an Handwritten traverser
Make rewrite combinator boilerplate-free thanks to macros
Change update to transform combinator with result. Change in CollectionLikeUI.