dipping my toe in...

              -- 'type' is a bad name
              | Raise(expr? type, expr? inst, expr? tback)

How about "exc" instead?

Does the "?" imply the preceeding fields must be present if that is?  For
example, if we have an "inst", does that imply we also have a "type" the
same way optional args work in Python?

Skip