In reply to @Laylie "the point of `{.final.}`": It seems Iike final means two
things:
1. > Objects that have no ancestor are implicitly final and thus have no hidden
type information

So final means "has no ancestors."

2. Marked with {.final.}, means "forbidden to be itself an ancestor."

These two meanings to me feel completely independent. Am I missing anything?