swift234

Sema: Clean up resolveTypeInContext() and generalize typealiases in protocols

Previously a typealias in a protocol either had to be concrete,
or consist of a single path of member types from Self, eg
Self.A.B. Lift this restriction.

Fix a few other corner cases that came up in the validation
suite, and clean up the function in general.