Describir: The arithmetic of dynamical systems