Empty string literal has the wrong type

The empty string literal, like all string literals, should have type Array(Int). However, it has the generic type Array(a), like the empty array literal.

Observed behaviour:
?> :t ""
[] :: Array(t_1)

Expected behaviour:
?> :t ""
[] :: Array(Int)

This allows certain programs which should be rejected (such as array_concat("", [[]])) to be accepted.