[no subject]

[ZVONA@MIT-AI]

This is a suggestion for a feature.
Defstructs are not very smart about what type they are. It would save bugs and so forth
if the structures knew this, and would return this for typep, etc. Also, it would be good
if the constructor and accessor macros would give a warning if they were applied to the
wrong type. It shouldn't be very hard to do this -- in a list implementation, the car could
be the type; in an array, there could be a leader.