We propose the addition of a new kind of expression, called a `do` expression. In its simplest form: