Describir: Causal Graph Dynamics and Kan Extensions