Blocks

Blocks are written using BLOCK(tree, ...):

BLOCK(
  VAL("x") := LIT(0),
  REF("x")
)

This prints as:

{
  val x = 1
  x
}