In terms of vectors, `push` is generally used for appending to the back of a list, so I think this should have a different name. The current name for this on vectors is `unshift`, and although there is debate on what the name should be it should probably remain the same as vectors for now.