This removes the expand_derives function, and sprinkles
the functionality throughout the Invocation Collector,
Expander and Resolver.