Added keyword and vector types. Vectors are now implemented the same way
as cons lists, but with a new type.
Fixed str, and cleaned it up to share code with printing.