Enforce type parameter identical-ness when class+interface merging

This should be an error:

``` ts
class Foo<T extends Function> {
    n: T;
}
interface Foo<T extends Window> {
    y: T;
}
```

Currently whichever constraint came first wins
