docs: audit Typed* contract and propose prefix-free naming#29

blackopsrepl wants to merge 1 commit intomainSolverForge/solverforge:mainfrom

codex/explore-typed-contracts-for-unification-wyvsy2SolverForge/solverforge:codex/explore-typed-contracts-for-unification-wyvsy2Copy head branch name to clipboard