PROCLAIM and type declarations

[Guy Steele <gls%AQUINAS@THINK.ARPA>]

I believe that the sentences from page 156 about PROCLAIM covers
the case currently under debate:

  Any variable names mentioned are assumed to refer to the dynamic values
  of the variable.... Similarly, any function names mentioned are assumed
  to refer to the global function definition.

In a later paragraph it is noted that PROCLAIM of SPECIAL is given an
unusual interpretation.

--Guy