Evidence that A <: B, taking top-level |-types into account.
Operations on union types.
Upcast A to B1 | B2.
Upcast A to B1 | B2.
This needs evidence that A <: B1 | B2.