Rename set-doc/set.scrbl to data/new-set.scrbl