Add tutorial on enumerative inference#554

ztangent merged 8 commits intomasterprobcomp/Gen.jl:masterfrom

20250616-ztangent-update-docsprobcomp/Gen.jl:20250616-ztangent-update-docsCopy head branch name to clipboard