Error when a type parameter name is given parameters itself

Currently we ignore the bogus `<int, bool>` in the type below. I think this never makes sense, and should simply result in an error.

```
fn foo<T>(_x: T<int, bool>) {}
```
