Definition: *vl-empty-lucidval*
(defconst *vl-empty-lucidval* (make-vl-lucidval :used nil :set nil :errors nil))