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