Describir: Classical and quantum dynamics of constrained Hamiltonian systems