Short Array optimisation

[dabrahams (Dave Abrahams)]

@scanon

¹ "would propose" in the sense of "if I had a time machine I would go back and experiment with this". This ship has sailed, so this is all pretty theoretical.

Yeah, but you see, I have a new standard library to write for a different language, so I'm interested in these details ;-)