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