Describir: A theory of sets