I think this should be a language specification, and should avoid describing the library. The language semantics and grammar are a much saner scope to cover than the entire standard library. Implementation details like the standard library's choice of allocator are even more out of place.