Dynamic Dispatch on generics

Currently this should properly detect and allow override:

```swift
class A<T> {
    func f(a: T) {}
}

class B<U>: A<U> {
    func f(a: U) {}
}

```

along with fields.

Possible by adjusting `Scope#get` to accept `TypeContext`?