Major Section: PROGRAMMING
+ is really a macro that expands to calls of the function binary-+. So for example
+
binary-+
(+ x y 4 z)
(binary-+ x (binary-+ y (binary-+ 4 z))).