>First, this extends deep into the core of Julia, and I don't see how a traits package would be involved with that.
No, Tim Holy described over dinner how all that was necessary to complete the existing traits packages was method deletion, and that's in v1.0.