Eq simplification forgot to take into account reification
Upgrading of a few libraries.
Added "isFalse" and "searchSpace" methods.
Various improvements.
2.4 release