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…

More at https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-October/002582.html