Unwrap functions on parameter of DataType/TimestampType used in comparison with a literal

[hantangwangd]

We can unwrap some specific functions on DataType/TimestampType used in comparison with a literal, so that we can further push down the predicate to connectors.

Expected Behavior or Use Case

Take function date() for example, we can unwrap date() for a timestamp parameter t as follows:

filter(date(t) = date `1984-01-08`) --> filter(t >= timestamp '1984-01-08 00:00:00.000' and t < timestamp '1984-01-09 00:00:00.000')

The same goes for function date_trunc(), year(), month(), day(), hour() etc. To be further supplemented.

Presto Component, Service, or Connector

Possible Implementation

Refer to: #16106, #14011, #14161, #7806

Context

[Sreesruth]

hi, @hantangwangd @joshk @electrum @jvanzyl @oggy i would like to contribute to this, thankyou

[hantangwangd]

@Sreesruth Sure, please go for it!

[Sreesruth]

@hantangwangd , yea my github was acting up it kept crashing yesterday but i was able to fork it, thankyou