Tweak sum/e behavior for nicer Redex enumeration and simplify repeats.

Always interleaves sum/e's and more evenly weights sum/e's of more than 2 arguments.