The other relevant question is what you want to do different than PyMC/numpyro/Stan. And does it require a complete new PPL?
nutpie for example is pushing some normalizing flow-related automatic reparametrizations that would be harder in a Stan-like language where the core object is a sum of densities and not a graphical model.