append package:proto-lens
Returns a new growing vector with a new element at the end. Note that
the return value may share storage with the input value. Furthermore,
calling append twice on the same input may result in two
vectors that share the same storage.