Why designs are declarative

Status: Draft stub.

Question: why does the design language exclude loops, conditionals, functions, and world reads?

To complete: explain reviewability and deterministic inputs, and show where Java extension logic belongs when a design needs a new behavior.