Describir: Structural aspects of probability theory