New explicit cast syntax rules in ANSI mode

In section 6.13 of the ANSI SQL standard, there are syntax rules for valid combinations of the source and target data types.
To make Spark's ANSI mode more ANSI SQL Compatible，I propose to disallow the following casting in ANSI mode:

TimeStamp <=> Boolean
Date <=> Boolean
Numeric <=> Timestamp
Numeric <=> Date
Numeric <=> Binary
String <=> Array
String <=> Map
String <=> Struct

The following castings are considered invalid in ANSI SQL standard, but they are quite straight forward. Let's Allow them for now

Numeric <=> Boolean
String <=> Boolean
String <=> Binary