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