Relaxed assignment conversions for sealed types

Here's an idea that I've been thinking about for a few days, it's not urgent to decide on now, but I think it is worth considering in the background…