Add primitive body typecheck helpers#881

saulshanabrook merged 12 commits into

egraphs-good:mainegraphs-good/egglog:mainfrom

saulshanabrook:codex/split-primitive-body-runtime-apissaulshanabrook/egg-smol:codex/split-primitive-body-runtime-apisCopy head branch name to clipboard