Redex Enumerator Support for Cross Patterns

+testcases, of course