parser: allow zero or more stmts rather than 1 or more.
wibbles: remove warnings.
concrete syntax: allow empty procedure bodies.
concrete syntax: includes (module depends).