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