2.1.1 Release

[kjcjohnson]

🚨 Breaking Syntax Update 🚨

This release updates the declare-term-types command to not accept selector names. Instead of:
($+ ($+_1 E) ($+_2 E))
it is now:
($+ E E)
The selectors weren't supposed to be used anyway, so we're just dropping them after discussion with affected parties. Term children are still available via the (required for SemGuS) match command when defining semantic relations.

What's Changed

• Remove selectors from declare-term-types command by @kjcjohnson in Remove selectors from declare-term-types command #79

Full Changelog: v2.1.0...v2.1.1

---

This discussion was created from the release 2.1.1 Release.