* No need to take the multigroup name as an argument

* Record backtraces when instantiating conditions

* Equality for abstract values

* Move `make_ctx` out of the listener

* Include the return code on `handle-error` conditions

* Do not include brackets around stringified condition properties

* Equality for materialized attributes

* Equality for materialized tuples

* Scaffolding for a test suite

Co-authored-by: Estevan Castilho <tevo@riajuu.net>

- Polarity analysis walker on Constraint.t AST
- Cascade constraint re-checking on DELETE and INSERT
- Focused filtering to narrow re-checks to affected tuples only
- Universal variable substitution for targeted constraint re-evaluation
- Constant discovery for early bail-out (trigger_constants)
- Deferred constraint timing with commit boundary
- attach_constraint and commit API in Manipulation
- extend_tuple namespacing fix (variable.attr convention)
- History capping at 128 entries in Database.update_state
- Benchmark binary (bin/bench.ml)
- Design doc (docs/incremental_constraint_checking.org)