Compare `Constant` terms for alpha-equality by name and definition, not type
Compare `Constant` terms for alpha-equality by name and definition, not type

Fixes GaloisInc/saw-script#116.

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