Corrections, drop each2
Change the way assertions are represented

- all predicates are positive
- there's a not predicate for expressing negative predicates
- a top-level assertion operation takes predicate as an argument