Add a factory method to unique fresh names
Add predicator traverser trait

This trait extends Function1 and has traversers for
all trees with default implementation, except for Ident.
Use the factory methods for creating trees
Add Literal and Apply factory methods.
Add a Neve version of Kara.