Describir: Positive Higher−Order Queries