Yes -- we are building a sql compiler to the dataframe API. It currently passes half of TPC-H, but is not really ready. It will be open-sourced soon.
The SQL optimizations like predicate pushdown and early projection are all there already in the dataframe API, similar to Polars.