Rewritten modules ProtoVector and ProtoVector.Unboxed.