Macro sum 

sum!() { /* proc-macro */ }

sum!(body for pat in domain[, pat in domain ...]), algebraic summation, lowered to nested sum_over folds.