Arbitrary hook for adding additional transforms before e-conversion.
Theorem: vl-design-p-of-vl-design-post-unparam-hook
(defthm vl-design-p-of-vl-design-post-unparam-hook (vl-design-p (vl-design-post-unparam-hook x)))
