配列参照の代入は、文字列変数（文字配列）以外なら何でも代入出来るようです。従って、型情報は参照側ではなく実体側にあるように見えます。（見えるだけで実際にそうかは別ですが･･･）実体（配列要素）に値を代入するときに型のチェックをしているような気がします。配列要素数を自動で増やすようなときには特別な処理をしているように見えます。（COPYやPUSHなど）