add in builtin_add function

Summary:
(and (== x 1) (== y (+ x 1)) {* z x} {/ z x}) checks all the provided
sexpr's evaluate to true. If they do, the first qexpr is executed if not
all conditions evalute to true then the second qexpr is evaluated.