Miscellaneous

vector has been re-implemented to support constant-time insertion at both the beginning and the end. For example, this is now well-formed for a vector v:
The interfaces of some sequence building algorithms such as copy have been changed. Please see the reference manual for the details of the new interface.