Type-checking of slot values

[Jon L White <edsel!jonl@labrea.Stanford.EDU>]

re: Alternatively, one could modify DEFCONSTANT to allow declaration of
    constant structure as well as constant binding. 

I like that idea [of having declared constant classes].  A related topic is 
"lexical" structures so that can be allocated/de-allocated in a "stack" 
discipline [akin to how the strongly-typed languages would do it].  However, 
given the current problems and focus of CLOS specification, this may not be 
the right time to bring such issues up.  

Ultimately, the quest for performance may require some thinking along these 
lines.  But (sigh) another time, another place . . . 


-- JonL --