Qualify Data.List import to fix GHC 8.10 compatibility check.
Qualify Data.List import to fix GHC 8.10 compatibility check.

Importing Data.List without a qualified name or an explicit import
specification fails with -Wcompat under GHC 8.10.

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