Improve simplification of coercions