More Redex Enumerators

Add better base type enumerations and variable prefix, in-hole, hide-hole and mismatch repeat support.