enforce flat-ness

we want to model straight-line programs, but domain expressions allow nesting. In let { x = t } in ... I want to be able to restrict t to depth at-most-one.