eval (IF E1 E2 E3) env = if (eval E1 env) then (eval E2 env) else (eval E3 env)