SpecializedMethod property 'TypeArguments' to IMethod. That should eliminate the need to upcast these objects & makes the type system more flexible - that's needed for the ReducedExtensionMethod model.