Indefinites and the type of sets