The Ada variant seems to achieve a clearer goal: specify exactly where LSP / subtyping is desired, leaving the default behavior of un-decorated types alone. Exp

The Ada variant seems to achieve a clearer goal: specify exactly where LSP / subtyping is desired, leaving the default behavior of un-decorated types alone. Explicit opt-out as in Zimbu seems odd.