Small nitpicks:
- Editorial: In the "Reader syntax" section, after the syntax definitions, it reads "The vectag> syntax ..." (extraneous '>')
- Clarification: Maybe it's obvious, but we may say the datum need to be delimited from array-literal-header. It only matters for rank 0 arrays. That is, #0u321 must not be interpreted as #0u32 1.
- In output, it can be read that the implementation is allowed to print rank-1 zero-based arrays as vector even if those two are not the same type. I prefer saying the implementation may do so *only* if it treats (uniform) vectors as subtypes of arrays. I've been bitten by Common Lisp losing array properties on printing.