Improved Kind mode for coercions pretty printer.