Update lower/upper type inference fixing to match the latest C# standard. Fixes #15505
Better error message when type inference resolves valid types but parameter types still don't match
The stripper does not care if some variables can't be referenced (they'll be removed) and new cecil has a similar fix [#15727]