finish the API for Predicates

The general approach is already there and working. What is needed is

- [x] finish the implementation of all the OR, AND variants
- [x] _not needed_ a witness for a predicate being over only one attribute (needed for range queries etc)
- [x] for conditions, add methods to ops for all the cases