Add subscribeEventedEffOn

So there's probably a slightly more elegant way of defining this so you don't have to duplicate the entire of `subscribeEventedOnPrime` for `subscribeEventedEffOnPrime`, but as you can see the changes are fairly minor.
Do you think there is still a value in the no Eff version?