Properly show superclass constraints in :i

Before:
    (a : Type) -> (Monoid a) -> (Eq a) -> Cast a (Maybe a)

Now:
    Monoid a => Eq a => Cast a (Maybe a)

Fixes #1029.
Show type class parameters in :i

Also, slightly more readable formatting.