An embedded DSL for creating, composing, and using probability measures.