Implement support for named opaque result types, e.g., func f() -> <T: Hashable & P, U where U: Q> [T: U] { ... } this mostly involves wiring up name lookup and type resolution so we c...