Describir: Datalog with First-Class Facts