Rename `assume` to `assert`, and make declarations return an expression.
Fix parsing of values.