Yield statement

The yield statement terminates the execution of a yield block with a result value.
Yield blocks are assign statement bodies and error handler bodies.
Assert yields default value on type mismatch.
Yield from error handler.