It flattens out the code element hierarchy to ease implementation of new policies. It provides a mechanism for handling generic type substitutions to ensure a consistent and correct implementation of generic type and generic method instantiations.

Reflection policy subclasses should not perform generic type substitutions themselves. The rest of the infrastructure will take care of these details automatically. However StaticDeclaredTypeWrapper and StaticMethodWrapper objects should be created with the type substitutions of the declaring type extended with generic type arguments.