Fixing a type constraint solver bug submitted by Jaak Randmets, verified by Iavor. Regression tests passed.
Fixing a type constraint solver bug submitted by Jaak Randmets,
verified by Iavor. Regression tests passed.

TomMD/cryptol,TomMD/cryptol,dylanmc/cryptol,dylanmc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,TomMD/cryptol,dylanmc/cryptol,ntc2/cryptol,GaloisInc/cryptol,TomMD/cryptol