Update Eval.hs

Redone the normalisation of `f x y` case to x ==> (y ==> f)