Redundant length in array instances

The `Binary` instances for `Array i e` and `UArray i e` serialise the length of the array. This is redundant, since the length can be computed from the bounds (which are also serialised).

Getting rid of the length would save 8 bytes. The question is if it's worth it to potentially break code for this (small?) gain.

まず、Array i e と UArray i e の Binary インスタンスを特定し、それらの境界と長さがどのようにシリアライズされるかを確認します。長さを削除することが既存のシリアライズ済みデータと互換性があるか、また 8 バイトの削減がその破壊的変更を正当化するかを判断してください。この互換性に関する問題について明確な判断が下され、合意したスコープが定まった時点でのみ、issue は完了です。

索引モデルが issue の本文から書いたものです。