Statements

A statement is either a variable assignment or an expression whose result is ignored.

Stmt ::=
  | ;
  | Expr ;
  | Assign