Moon's message caused me to unwedge about what he was talking about. I am happy to specify the behavior of CLOS when stores violate the :type option as undefined. Do we have consensus? -rpg-