Using EQ instead of EQL to compare catch tags

[Kent M Pitman <KMP%MIT-OZ@MIT-MC.ARPA>]

Is there a reason why EQ was chosen instead of EQL for comparing CATCH
tags? It seems to me that signalling errors isn't likely to be so blindingly
fast that using EQL instead of EQ would slow it down enough to matter,
and it would simplify the definition (top of p140) to use EQL, wouldn't it?
This would be an upward compatible change.
-kmp