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.

Bắt đầu bằng cách xác định các Binary instance cho Array i e và UArray i e, đồng thời xem xét cách các bound và length của chúng được serialize. Xác định liệu việc loại bỏ length có tương thích với dữ liệu đã được serialize hiện có hay không, và liệu phần tiết kiệm 8 byte có đáng để tạo ra breaking change hay không; issue chỉ được hoàn tất khi câu hỏi về tính tương thích này có quyết định rõ ràng và phạm vi đã được thống nhất.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.