feat(types): wire backend consumers + fix z3 build + outcome module - #24

feat(types): wire backend consumers + fix z3 build + outcome module#24

hyperpolymath merged 2 commits into

mainhyperpolymath/echidna:mainfrom

claude/echidna-type-system-Zan8Vhyperpolymath/echidna:claude/echidna-type-system-Zan8VCopy head branch name to clipboard