Add dt lemma: zero size implies nullary constructor.
Fix assertion.
fix statistic in decision engine
Finish sets type enumerator implementation.
Merge pull request #59 from kbansal/sets3

sets type enumerator
Minor cleanup in datatypes.