Microkanren

Fixed
- Reification of fresh logic variables

Changed
- Updated `ruff`

Removed
- `black`

Fixed
- CI publish workflow

Fixed
- Order of execution of goals inside a disj

Added
- CI workflows using GitHub actions

Changed
- Added Python 3.12 support
- Bumped `fastcons` dependency

Added
- `ltfd` goal

Changed
- Moved finite domain goal constructors into fd.py
- Exit early from FD goals if any var has no domain
- When exiting early from FD goals, make sure a constraint is added to the store
- Use `immutables` map instead of pyrsistent map (better performance)
- Change `neq` signature from `neq((a, b), *rest_pairs)` to `neq(a, b, /, *rest)`
- Make `Constraint` frozen so it's hashable
- Store `Constraint` operands as tuples rather than lists/sets

Changed
- Use `Hooks` registry class instead of globals for hooks
- `reify_constraints` hook is called
- `reify_var` hook is used instead of unconditionally creating `ReifiedVar`
- Application of `conj` and `disj` to multiple goals is now left-associative to match `|` and `&` operators

Added
- `reify_value` hook
- Basic usage info to README.md

Removed
- Unused `StreamThunk` type