RFC: Nested record definitions

Definitely not ruling out that, but we should start with records and see how that’s used. Variants are slightly different because of things like @unboxed and @tag where you often want/need to configure the variant at the type definition level. At a glance I think it’s a bit unclear how to achieve that in an intuitive way inline without introducing new syntax. But definitely not out of the question.