Clean TreeOps API

- remove superfluous implementations doing almost the same
- introduce pre/post traversal and transformers as foreach/map/fold
- Redefine other operations exists, contains, as folds
- Fix freshenLocals bug found by Ravi
Release Leon 2.1
Fix deprecated API
Improve readme