- improve model pretty printing
- new filter for term generation
- some changes in nested list predicates