Definition: *atc-type-of-value-option-rules*
(defconst *atc-type-of-value-option-rules* '(type-of-value-option-when-valuep type-of-value-option-of-nil))