> I think implicit coercions are a semantics issue, not an issue of implementation details.

Why not both?

> An example of intransitive implicit coercions...

Ok? Arbitrary nullable references are obviously not a subtype of booleans no matter what you do. If anything may break by substituting one type for another, those types do not have that subtype relationship, by definition.