Describir: Models, modules and Abelian groups