The parser now accepts 'assert(e)' where 'e' is an arbitrary expression.

The type checker verifies that 'e' evaluates to bool.