Fix some of the nonempty_list() typespec usage.