Now we only have GNF-based pattern matching. However, in some cases we do need pattern matching with ANF IR. Specifically, the passes introduced by #23 can be significantly refactored/simplified with ANF pattern matcher.
