Make MistypedFunctionArguments.ql more restrictive (allowing type matching only in the presence of no-op conversions).