Remember to insert casts when simplifying;  don't mess with user-supplied signatures.
Remember to insert casts when simplifying;  don't mess with user-supplied signatures.

ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol