Clean up preprocess-lang
Add redex enum support for cross patterns
Fix in-hole enum bug and add test case