I'm really excited about more introspection capabilities in the language, but after reading the proposal, I think it's missing an important feature, and I don't quite understand another. What I really want to do is be able to find all types in a module (or linked into the app) that conform to a given protocol, and then instantiate instances of ...