make SHA1 typecheck with Cryptol 2.3
make SHA1 typecheck with Cryptol 2.3

There were some spurious constraints to help the previous typechecker figure
things out that now confuse the new one... ugh.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol