Describir: Global theory of dynamical systems