v3.0.1

Fix go imports after major version bump.

v3.0.0: removing non-inclusive terminology

Also transitioned to GitHub actions for automated testing.

v2.0.2: Spelling

* circuit
* conjunction
* definition
* distinguishing
* entities
* expects
* explicitly
* improvements
* internal
* nonexistent
* operator
* recognizable
* specified