Are `(push s x)` and `(push x s)` correct for push and insert, resp.?