Add support of “with” in @throwable.

It allows to specify the post-state of data.

Example:
    @throwable T1 t1 with this->foo: true;