Write some property-based tests

[daisylb]

Ideally, I'd like to have a couple of tests that use Hypothesis to generate arbitrary predicates and then assert some invariants about them (things like the consistency of filter() vs apply(), invariants to do with UNIVERSAL and EMPTY, the correctness of the And, Or and Not predicates, and so on). Writing the strategies for this might be a bit complicated though.