Redex Enumerator support for mismatch patterns
Update redex enumeration docs