Cuddle hangs on duplicate name for generic variable

[jasagredo]

This file makes cuddle hang when resolving the spec.

state2.txt

To my surprise I was able to narrow it down to the following definition:

shelleyLedgerState<era> = [
    withOrigin<shelleyTip>,
    era,
    shelleyTransition,
]

For some reason, changing the generic variable to something different than era makes cuddle happy:

shelleyLedgerState<foo> = [
    withOrigin<shelleyTip>,
    foo,
    shelleyTransition,
]

I said "duplicate" because the definition wrapping that one also uses era:

versionedShelleyLedgerState<era> = [
    shelleyVersion2,
    shelleyLedgerState<era>,
]

[nc6]

I'm pretty certain that this issue isn't just duplicate names, since we have those in the example spec files (using 'a') and they work just fine.