Added checks to make sure that a function is being called with the correct number of arguments
Added evaluate-letrec
Added evaluate-letrec to benchmark interpreters
Updated letrec so it can handle multiple bindings now