perform loose check for ArrayType

[unional]

Added StrictArrayType for the current behavior.

The ArrayType should accept both array and tuple like StringType accept string and string literals.

Added LooseArrayType for the time being, before the breaking change.