Constructor macro for honsed processed-stv-p structures.
(make-honsed-processed-stv [:name <name>]
This is identical to make-processed-stv, except
that we hons the structure we are
This is an ordinary honsing make- macro introduced by
(defmacro make-honsed-processed-stv (&rest args)