[jhc] patches to fix *haskell* typechecking of (->)

Okay, now before you get all excited, I must warn you that you still won't be able to compile Control.Arrow. There is a good bit of work that must be done in E before this will, in fact, compile. Much of this work has to do with turning fully-applied Jhc.Basics.->s into EPis, but there also seems to be some kind of problem with multi-parameter newtypes...