Added "Kind" option to Coercion pretty-printer.