--- "effect": patch --- Fix `Unify.unify` so Layer unions merge correctly, and add type tests covering Layer unification.