Add translations for NewAST.Type in preparation for switching to NewAST
Add translations for NewAST.Type in preparation for switching to NewAST

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