Describir: The HOL sets Library