more specific language and xrefs covering type arg conformance
split out new section for direct invocations