Re: [jhc] darcs patch: Fix kind inference + test (and 6 more)

I seem to have left some patches out this time, though...

Okay, this one has the final patch -- this one mostly replaces hard-coded TAp constructors with tAp invocations -- tAp returns a TArrow instead of a TAp in the appropriate case.