CATCH syntax

[JONL at MIT-MC (Jon L White)]

We decided about 2 or 3 years ago that (CATCH <tag> <form1> ... <formn>)
is the better syntax, but there was so much existing code with the
old form that the following was done:
1) *CATCH is defined with the new syntax ,  and  so is *THROW
2) a period of years will pass, so that old code can be converted
   or flushed
3) then CATCH and THROW will have the alterd new syntax also.
For now, just use *CATCH and *THROW.