Eldarica 2.0.7

Much of the model checking engine has been refactored since the last release, to make it easier to maintain. The theory of heap has been improved, clause preprocessing has become more powerful, and there is initial support for polymorphic ADTs.