swift234

Factor out the derivation of type witnesses for compiler-assisted protocols.

There is a tiny semantic tweak here, because we only derive type
witnesses as a last resort, preferring to deduce the assocated type
from (say) an explicitly-specified fromRaw/toRaw. In such cases, the
specified underlying type can differ from the raw type, which is fine.



Swift SVN r11420