Add `lt` field to `Cmp` dictionary.
Add `lt` field to `Cmp` dictionary.

Also add similar `slt` field to `SignedCmp` dictionary.

These fields are used to simplify the formulas generated by the
cryptol-saw-core translator for Cryptol operators like `<` and
`<$`, avoiding redundant logical connectives.

Fixes #1565.

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