EOPL 15 Q4: refactored and multiarguments proc

foldr procedures are awesome!
cleaned the code with them.
proc supports multiarguments.
refactored a two-operands operation using functions
for adding support to do +, -, *.