new mechanism for AnonymousFunction, Application
(1) function with multiple parameters share the same Env
(2) in Application, function.body is evaluated by its own env
(3) pass gcd test:
	let
		mod = fun x -> fun y -> x - x / y * y
	in
		let
			gcd = fun x -> fun y ->
				if((mod x) y) = 0
				then y
				else ((gcd y) ((mode x) y))
				end
		in
			((gcd 34986) 3087)
		end
	end