I have had some thoughts about this after seeing it discussed during the @dynamicCallable proposal.
The version I have been thinking about (and actually have a draft pitch of here) is to permit instance methods named _ and have a type be a subtype of the types of all of the types of the instance methods it has named _.
Edit: I just noticed a thread explicitly about this appear, so I am reposting this here.