Instead of computing it from the extended type after deserialization -- which is tricky to do, due to potential presence of protocol compositions -- we obtain the extended nominal directly. Fixes SR-11227 and linked rdar://problem/53712389.
