Add conversions for `eq` on tuple and record types
Add conversions for `eq` on tuple and record types

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