finish the API for Predicates

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