enhance rule for more join type.

**Is your feature request related to a problem or challenge? Please describe what you are trying to do.**
- push_down_filter support SEMI/ANTI
- push_down_limit support SEMI/ANTI
- propagate_empty support more Join

**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 locating the push_down_filter, push_down_limit, and propagate_empty rule implementations in the DataFusion codebase. Compare their handling of SEMI and ANTI joins with the other Join types, then add tests for each requested propagation behavior. Done means the requested cases are implemented and the relevant tests pass.

Written by the indexing model from the issue text.