Adapt to changes in Cryptol's NameInfo type for cryptol-2.6.0.
Adapt to changes in Cryptol's NameInfo type for cryptol-2.6.0.

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