Describir: Discrete Algorithmic Mathematics