Defining nested types in a new manner

So I guess you've bumped into this a lot then, unless you started after 5.0.

I agree, what I meant was that the proposed feature seems like a small step conceptually (and perhaps even implementationally) from what's currently possible, but that it is (potentially very) nice for readability etc. : )