Add disjoint sum enum and fix enum
Fix except/e and add append mode for disj-sum/e
Add floating point/complex enumerator
Add variable-prefix enumerator
Add in-hole and hide-hole enumerators
Add redex support for mismatch repeat patterns