We decided to drop the selector names in the `declare-term-types` call. Instead of: `($+ ($+_1 E) ($+_2 E))` it is now: `($+ E E)` The selectors weren't supposed to be used, so we're just dropping them.
We decided to drop the selector names in the
declare-term-typescall. Instead of:($+ ($+_1 E) ($+_2 E))it is now:
($+ E E)The selectors weren't supposed to be used, so we're just dropping them.