[MLton] flattening of arrays and vectors

[Matthew Fluet]

> With  regards  to  the September release, is that version planned to have the
> undumped (save world) processing of the basis library?  Now that MLton can be
> used during development, it would be very nice to have the time from start to
> detection of type/syntax errors be shorter.

I suppose it would be possible, although I'm not sure that it is
necessary.  When type-checking MLton, only 10% of the time is spent
type-checking the basis library.