Restored VecLexicoSeq + minor fixes.