More monomorphic library modules would be appreciated

[athas]

From what I can see, the only instances of MONO_ARRAY provided in the MLKit Basis Library are CharArray, RealArray, and Word8Array. It would be nice to also have Int8Array, Int16Array, Int32Array, Int64Array, Word8Array, Word16Array, Word32Array, Word64Array, Real32Array, Real64Array, BoolArray, and their vector counterparts. An efficient implementation of these will need (relatively simple) compiler support.

[melsman]

Perhaps we can implement many of these structures using the PackWord<N>Little and PackWord<N>Big structures. We currently have PackWord32Little and PackWord32Big structures, which are naively implemented, but that can change later. It is straightforward also to implement 64-bit versions and 16-bit versions...

[athas]

I tried something like that, but I found it quite infuriating to try to construct an Int32 from four Word8s, without Overflow errors. SML is not a very good language for bit fiddling.

[melsman]

Fixed by #151 and #150 . From C, all mono-arrays use the String representation (see Tagging.h).