A RAISE statement without an argument has the form:
    RAISE e
where e is an exception that takes no argument.  The outcome 
of the statement is the exception e.  A RAISE statement 
with an argument has the form:
    RAISE e(x)
where e is an exception that takes an argument and x is
an expression assignable to e's argument type.  The outcome is
the exception e paired with the argument x.