Immutable vectors with O(log_32 n) random access and amortized O(1) push/pop