When computing the type of a potentially-overriden declaration, make sure we have an interface type. Add a test to ensure that we validate overrides cross-file correctly.
