Fixes related to generalization in recursive groups, where some bindings are monomorphic.
Fixes related to generalization in recursive groups, where some bindings are monomorphic.

This is tricky stuff, hopefully this better.  Fixes #534

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol