Updated webppl submodule
Use storepassing