enumeration strategies
Updated webppl submodule