add do-vector, vector len/index types, with-gensyms; move simplify-string back to type.lisp