Primitive E module for producing X.
We use this to implement vl2014::*vl-1-bit-x*.
Definition: *esim-x*
(defconst *esim-x* '(:n *esim-x* :x (:out ((|out| x))) :i nil :o ((|out|))))
