The `push` method on vectors can be confusing.

Discussions on Discord lead to the conclusion that the recently merged `push` method on vectors can be confusing. The confusion comes for the fact our `push` method returns a new vector of higher dimension instead of modifying the vector in-place like the standard library `std::Vec::push` method.