first draft of Sequence_stdvector.h, and lots of related cleanups