New unary predicates (True, Fail).
Also refactor Predicate to avoid defining apply() by default. Now
abstract.
More recent version of dep libs
Reorder