dlists: adding push-before and push-sorted.