`simplify` can now fully replace `parallelB`.

In fact parallelB had some bug with variable names escaping their
bindings, which I hadn't noticed, where `simplify` is correct.

Hooray, now I've rewritten almost everything I wrote a week ago!