Item Statement Contents Syntax item_stmt ::= item ';' Typing The item must type. Semantics See Block Expression. Examples TODO