Describir: Theory of mathematical structures