liquid-fixpoint-0.7.0.1

Many changes and new features, including:

1. New eliminate based solver (see ICFP 2017 paper for algorithm)
2. Proof by Logical Evaluation see tests/proof
3. SMTLIB2 ADTs to make data constructors injective
4. Uniformly support polymorphic functions via elaborate