An svex constant for an infinite-width X.
Definition: *svex-z*
(defconst *svex-z* (svex-quote (4vec-z)))
Macro: svex-z
(defmacro svex-z nil (cons 'quote (cons *svex-z* 'nil)))
