Cryptol comparisons on compound types containing () are translated incorrectly

[brianhuffman]

If a unit type occurs somewhere that's not all the way to the right, then the result of the comparison is just wrong. Here's an example:

Cryptol> ((), 0x2) < ((), 0x3)
True

sawscript> print {{ ((), 0x2) < ((), 0x3) }}
False