SMS dit: Algebraic theory of measure and integration