+

+ : (num num num ... -> num)

purpose:
to compute the sum of the input numbers

Reductions:
(+ arg ...) e--> +: expects type <number>
where at least one arg is not a number
(+ n ...) --> the sum of the numbers