Make use of push_all instead of .append for vector, as well as lifetime elisons