replace (Fun y e)
		| (x == y) = (Fun y e')
		| otherwise = (Fun a e'')
			where
			  a = fresh(freeVars(new)) ++ fresh(freeVars(e)) ++ x
			  e' = subst e y new
			  e'' = subst e x new