Maybe that really is the problem. Too much reflection leads to clever, but hard to debug hacks. Look what happened with C++ templates and, further back, LISP macros. That way lies code that's unusually hard to read and maintain. Rust probably shouldn't go that way.
Do you want to have a keynote address on an idea of that type? It's more of a subject for a proposal talk.