Factor out the eval of a sequence of expressions (for cond & case)
Throw error when binary numeric functions (ex: modulo) have > 2 args