predicates & tests & other

- work on predicates (still not completed)
- grammar and related code polished
- test rewrited to suppotrt classes
- some overloadings of << operator
- Bug found to be corrected (wrong activation of some rules)