Searching protocol for "acsets"
Build robust RwEq proofs with canonical lemmas.
Write behavior-driven tests with real dependencies.