WIP: fix narrow type of relax compare

[Kingwl]

Fixes #24991

This pr adds a new relation called relaxComparableRelation, that compare type in a non strict equal conpare

this is not finished yet, follow item need to fix:

1. value compare of literal
2. object type compare
3. format code and simply logic predicate

[RyanCavanaugh]

Closing for housekeeping. As an aside, I'm not sure we'd want the PR as-is -- new relations are another cache we need to fill. Hopefully there would be another fix.