Simplify concurrent conjunctions with void results
Simplify concurrent conjunctions with void results

This dramatically improves performance of goal orderings that were
previously unable to simplify.  On the extended (range 10000) benchmark,
the speedup running appendo backwards was 90%.

gregr/racket-misc