Add support for casting from a single type to the corresponding array

Should we add support for something like:

CAST(10 AS ARRAY(INT()) which will result in [10] ?

PostgreSQL for example doesn't support it:

postgres=# select 1::integer[];
ERROR: cannot cast type integer to integer[]
LINE 1: select 1::integer[];