we can just use the autogenerated sets stuff because sets.scrbl defines things
more organization, now of builtins