dlists: make push-sorted inline