Currently RESOURCE_DESCRIPTION.details is of type List<RESOURCE_DESCRIPTION_ITEM>.
Implementers have reported difficulties with this, since in ADL it is more conveniently
parsed as a Hash (in fact in the Eiffel reference ADL parser, it is already implemented
this way).