This would allow arbitrary match expression nodes to optimize themselves, and for such optimizations to roll up through that node's ancestors. It could look similar to the existing Expression::optimize() virtual method.