0.4

Now supports quantification on datatypes and booleans. The quantified formula is lazily unrolled as a conjunction or disjunction. Undefined is used as the last conjunct/disjunct to account for the loss of precision.