Miscellaneous extensions of the supported language.

* Add const qualified block scopes.
* Add assignment operators (in a generalized form to also support prefix and
  postfix increment and decrement).
* Add the comma operator.
* Rename the void value into indet, and ensure it no longer compares true of
  false.
* Prove some derived Hoare rules.