And how would one suggest this be implemented with WordPress?
If, like WordPress, you want to enforce GPL compliance for derivative projects, then spell out clear exceptions to your derivation clause - if they even just spelled out themes it would have made this problem moot.