Describir: Model Theory of Modules, Algebras and Categories