Add new_pair() and new_pair_to_child() helpers to Empty