because this pull is not an important thing.
We might never see a shadow interface, and even if we see one all is good as it will work at runtime. Or ORM compatibility breaks because of some different reason...
I don't know how it's going to be :-) 

All I know is that applying this property could allow us to catch some problem earlier. I think I did the best change possible in a sane tradeoff of my time looking at this vs. the benefits it provides, but we're definitely going over board.

If it won't work in practice.. too bad.