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.

Commencez par localiser les instances de Binary pour Array i e et UArray i e, puis examinez comment leurs bornes et leurs longueurs sont sérialisées. Déterminez si la suppression de la longueur est compatible avec les données sérialisées existantes et si l’économie de 8 octets justifie la rupture ; l’issue n’est terminée que lorsque cette question de compatibilité a fait l’objet d’une décision claire et que le périmètre a été convenu.

Rédigé par le modèle d'indexation à partir du texte de l'issue.