Fixed bug preventing 7.6 compilation.
Tweaked coercion-kind pretty-printer.