Automated SMC with Probabilistic Program Proposals, for the Gen PPL. - View it on GitHub