Describir: Further improvements in the Boolean domain /