[jhc] darcs patch: Improve lambda/pi printing code

[Samuel Bronson]

On 4/11/08, Samuel Bronson <naesten at gmail.com> wrote:
> Fri Apr 11 19:01:59 EDT 2008  Samuel Bronson <naesten at gmail.com>
>  * Improve lambda/pi printing code
>  Only only put as many lambda/pi abstractions on a line as will fit.
>  Use sortKindLike to get the uppercase lambdas for type variables of
>  kind other than *. (For instance, * -> *.)

Hmm. I accidentally disabled kind-printing in doing this... so don't apply this.