`Reflection` should probably store the `MethodInstance` and possibly the `world`.

[oscardssmith]

This extra information would allow passes to ask the compiler for optimized IR.