More improvements to coercion pretty printing