Describir: Intensional Protocols for Dynamic Epistemic Logic.