Pretty printing is fucky

[ahubers]

Debugging this a bit myself.

When bar = \ f g a b. (\ x. x) (f ((\ x. x) a) b),
we get:

Ro.Base.bar = /\a#37 : *. /\a#38 : *. /\a#39 : *. /\a#40 : *. \f : a#37 -> a#38 -> a#39. \g : a#40. \a : a#37. \b :
                a#38. \x : a#39. x (f (\x : a#37. x (a)) (b))

Problems:

• right applicands are always paranthesized.
• lambda-bound left-applicands are not paranthesized.