refactor: data types in array_expressions (#7280)

* feat: check_datatypes

* refactor: data types in array_expressions

* fix: sqllogictests

* fix: array_has

* fix: array_has 2

* fix: use elements instead of args

* fix: check_datatypes error output

* fix: sqllogictests

* feat: add TODOs

---------

Co-authored-by: Andrew Lamb <andrew@nerdnetworks.org>