msplit should be a higher-order effect #63
Description
msplit is incorrect right now, as it won’t draw samples from embedded actions, only from continuations. We should instead define it as a higher-order effect, and then interpret it with the desired semantics, so that we can do logic programming in Eff.