(Partial) support for SetupElem conversion to a typed term
(Partial) support for SetupElem conversion to a typed term

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script