Syntax change: dropping selector names in `declare-term-types`

[kjcjohnson]

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.