Vectors with cheap append operations