False positive: ignore unused function arguments in a function type definition

```
type set f(str string)
```

`str` should not be reported as unused as `str` is useful as documentation.

Note: this is a particular subcase of #21.