## TODO

* [x] predicates
* [x] negation
* [x] disjunction
* [ ] stratum
* [ ] magic sets
* [ ] aggregation
* [ ] function symbol
* [ ] arithmetic
* [ ] range scan
* [ ] public API
* [ ] sorting
* [ ] limit, offset

comparators can have problems when sorting mixed integers and floats