Add type checking to logical plan for `IsDistinctFrom / IsNotDistinctFrom` expressions

[andygrove]

Is your feature request related to a problem or challenge? Please describe what you are trying to do.
We now support IS TRUE, IS FALSE, IS UNKNOWN (#3235, #3246). These are mapped to IsDistinctFrom and IsNotDistinctFrom.

We are not yet doing any type validation in the logical plan.

Describe the solution you'd like
Add type validation as part of the TypeCoercion optimizer rule being developed in #3222

Describe alternatives you've considered
None

Additional context
None