Documented syntax for WITH-ACCUMULATORS macro