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.

Comienza localizando las instancias de Binary para Array i e y UArray i e y revisando cómo se serializan sus límites y longitudes. Determina si eliminar la longitud es compatible con los datos serializados existentes y si el ahorro de 8 bytes justifica la ruptura; el issue solo estará terminado cuando esta cuestión de compatibilidad tenga una decisión clara y un alcance acordado.

Escrito por el modelo de indexación a partir del texto del issue.