Canrun Rs Versions Save

What's Changed

• Add negation with a not goal by @tgecho in https://github.com/tgecho/canrun_rs/pull/18
• Add a port of a reindeer puzzle as an example by @tgecho in https://github.com/tgecho/canrun_rs/pull/17
• Update criterion requirement from 0.4.0 to 0.5.1 by @dependabot in https://github.com/tgecho/canrun_rs/pull/19
• Turn on most pedantic clippy lints by @tgecho in https://github.com/tgecho/canrun_rs/pull/20

Full Changelog: https://github.com/tgecho/canrun_rs/compare/v0.4.0...v0.5.0

Rewrote the core to eliminate the entire domain concept. Now any types that implement the Unify trait can be added to a state at any time. Apart from some minor renaming and shifting, the basic concepts have stayed largely the same. Most externally visible changes involve a bunch of simplified types.

• Add lvec::get, lvec::slice and lmap::get goals.
• Add more documentation
• Improve CI integrations