Redex Enumerator Support for Mismatch Patterns

Includes documentation.