Describir: Universality in set theories