At first glance I only see two solutions:

1) Use non-conforming inheritance for LINKED_LIST [G], but last time I spoke about non-conforming inheritance with Manu, he told be that the current implementation was buggy and that we should not use it yet.
2) Do like in FIXED_TREE and declare the linked list of children as attribute instead of through inheritance.

--
Eric Bezault