Added vector=>vector/racket (convert a persistent vector to a plain Racket vector) for the sake of the new serializer.