I am requesting that CLIPS be enhanced to include the NULL type, which includes only instances of the nil value. This type can be used to annotate slots. A slot could then have the (type NUMBER NULL), which would allow the slot to include both numbers and the nil value. (default nil) would then be possible. In this way, the slot could include numbers when the slot has been initialized and nil before it has been initialized. My expert system designs electronic circuits. I would like to differentiate between uninitialized slots and those that have been populated. I can specify (type NUMBER SYMBOL), which I won't. It's unhygeneic. I just don't use a type facet.