Fixing nominals in cryptol lib bug (solving #2230)

[mtullsen]

• too many similar functions, a missing C.genNominalConstructors call added.
• resolves Sawscript panics when nominal types are used in baked in Cryptol libraries. #2230

[RyanGlScott]

I agree with this change in principle, but as the CI reveals, making this change now will simply cause SAW to choke when it tries to process the Option and Result enums in the Cryptol prelude. I think it would be better to include this patch as part of an eventual fix for #2052 so that we can verify that the patch works as intended.

[mtullsen]

I agree with this change in principle, but as the CI reveals, making this change now will simply cause SAW to choke when it tries to process the Option and Result enums in the Cryptol prelude. I think it would be better to include this patch as part of an eventual fix for #2052 so that we can verify that the patch works as intended.

Will do. This is now part of the branch 2052-support-importing-cryptol-enums-into-sawcore