DataFusion Optimizer framework discussion

**Is your feature request related to a problem or challenge? Please describe what you are trying to do.**
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Current DataFusion's optimizer rules are complex and not easy to implement. I think one of the reason is each optimization rule has to deal with the plan tree traversing, pattern matching and rewriting. It is more a visitor model (like the old Presto optimizer rules).
And if we add new logical plan nodes, especially non-leaf plan nodes, it is very possible that all the rules need to be modified to add the related visit logic.

An alternative approach is we can have the Optimizer itself drive the plan tree traversing and apply the rules down/up the tree, it will make the rule logic much clear and can focus on pattern matching and rewriting.

I see there is a new experimental optimizer framework which leverages the egg lib.
https://github.com/apache/arrow-datafusion/issues/440
I'm not familiar with egg and not sure how mature the egg lib is.

Please share your thoughts.

**Describe the solution you'd like**
A clear and concise description of what you want to happen.

**Describe alternatives you've considered**
A clear and concise description of any alternative solutions or features you've considered.

**Additional context**
Add any other context or screenshots about the feature request here.

Start by reading the existing optimizer discussion and the experimental egg-based optimizer framework referenced in issue #440. Compare how traversal, pattern matching, and rewriting are handled, then clarify the desired framework and scope with maintainers; this issue does not define a concrete completion criterion.

Written by the indexing model from the issue text.