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