An svex constant for an single X bit (lsb), upper bits all 0.
Definition: *svex-1x*
(defconst *svex-1x* (svex-quote (4vec-1x)))
Macro: svex-1x
(defmacro svex-1x nil (cons 'quote (cons *svex-1x* 'nil)))
