Investigate morphs transforming keys

[ssalbdivad]

In a case like (In: User) => Out<User & { extraKey: string }>, we could still allow intersections between other user keys if we ensure the morph only applies to extraKey.

Possibly related to https://github.com/arktypeio/arktype/issues/817