# Change Log
## 0.1.1 -- 2017-09-06
* Distinguish quantifier-free expressions
* Convert to negation normal form
* Convert to prenex form
* Convert to flat form (select and store have only variables or constants as arguments)
* Replace store with an instance of its axiomatization
## 0.1.0.5 -- 2017-08-29
* Extracting variables occurring in expression
## 0.1.0.4 -- 2017-08-25
* Foldable with sort index
* Traversable with sort index
## 0.1.0.3 -- 2017-07-11
* Expression substitution
## 0.1.0.2 -- 2017-05-26
* Equality of expressions
## 0.1.0.1 -- 2017-05-24
* Parsing
## 0.1.0.0 -- 2017-05-23
* Sorted Expressions à la Carte