Dynamic Dispatch on generics

[vihanb]

Currently this should properly detect and allow override:

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?