Types and Coercions now have independent pretty-printer settings: "set-pp-expr-type" and "set-pp-coercion".